Définition des (∞,1)-catégories dans le cadre de #HoTT

https://mathoverflow.net/questions/145770/how-do-you-define-infinity-1-categories-in-homotopy-type-theory

Voir aussi :

https://anthroposophiephilosophieetscience.wordpress.com/2018/01/27/∞1-categorie-type/

Advertisements
This entry was posted in ∞-catégories, homotopy type theory. Bookmark the permalink.