Category Archives: homotopy type theory

What is geometry?

Originally posted on Motivic stuff:
(This is an extended set of notes for Part 1 of a talk I gave a few days ago at the Young Researchers in Mathematics conference in Cambridge. Part 2 will be posted soon.) What…

Posted in ∞-catégories, ∞-topoi, Homotopy, homotopy type theory, Philosophie | Leave a comment

Homotopical categories and simplicial sheaves

Originally posted on Motivic stuff:
(This is an expanded version of the 2nd part of a talk I gave last month. For the first part, see this post.) Homotopical categories The topic for this post is “homotopical categories”, and their…

Posted in ∞-catégories, ∞-topoi, homotopy type theory, Philosophie | Leave a comment

#HoTT Abstract homotopy theory

On se place dans la catégorie Top dont les objets sont les espaces topologiques et les morphismes sont les fonctions continues https://en.m.wikipedia.org/wiki/Category_of_topological_spaces Deux morphismes de cette catégorie : f,g : X → Y Sont homotopiques s’il existe une flèche : … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory | Tagged , , , | Leave a comment

Seminar on simplicial homotopy theory

https://www.math.ru.nl/~mgroth/teaching/simpli12.html Organisé par Groth et Urs Schreiber, avec en bas des liens intéressants

Posted in ∞-catégories, ∞-topoi, Homotopy, homotopy type theory | Tagged , | Leave a comment

#HoTT Book : introduction

Le livre complet, 500 pages écrites par les experts mondiaux de cette nouvelle discipline, qui permet de fonder les mathématiques à nouveaux frais, et est très proche de la théorie des ∞-catégories et des ∞-Topoi, peut être téléchargé gratuitement ici: … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory | Tagged , , , , | Leave a comment

Maltsinotis: Grothendieck and homotopical algebra

Originally posted on Motivic stuff:
More notes from the Grothendieck conference: Maltsiniotis spoke on Grothendieck and homotopical algebra – here is my scan. In my opinion this talk was one of the best, given that the subject is often regarded as…

Posted in ∞-catégories, Grothendieck, homotopy type theory | Leave a comment

#HoTT une théorie “synthétique” des groupoides

Toujours dans l’article : http://home.sandiego.edu/~shulman/papers/synhott.pdf Michael Shulman Page 4 décrit les groupoides comme une généralisation des ensembles comme collections. Il y a deux sortes de collections, dont la seconde est Le collection des manières dont deux objets x et y … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory, Philosophie | Tagged , , , | Leave a comment