Daily Archives: August 15, 2017

Le “déséquilibré désespéré ” de Sept-sorts aurait ” imité des  gestes terroristes “

Posted in Philosophie

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