Tag Archives: Abstract homotopy theory

#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 , , ,

De #HigherToposTheory à #HomotopyTypeTheory

J’ai commencé à étudier sur ce blog, dans le Hashtag #HigherToposTheory l’extraordinaire livre de Jacob Lurie ” Higher Topos theory” que l’on peut lire gratuitement sur plusieurs sites, comme Arxiv, ou bien ici: http://www.math.harvard.edu/~lurie/papers/highertopoi.pdf Le dernier article publié dans le … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Bertrand Russell, category theory, Higher category theory, Higher topos theory, homotopy type theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , , , , , , , , , , , , ,