Archives pour la catégorie Higher topos theory

Hurewicz fibrations in elementary toposes

https://arxiv.org/pdf/1608.02509.pdf

Les tribus (tribes) de Joyal y sont étudiées , la notion de topos de Hurewicz est définie et on y montre qu’il s’agit d’une tribu (« type theoretical tribe »)

Publicités

(∞,n)-catégories et (∞,1)-catégories

https://anthroposophiephilosophieetscience.wordpress.com/2017/11/04/∞n-categories-et-∞-1-categories/

#HoTT The Book 1.12 identity types

Source : #HoTT The Book 1.12 identity types

#UnificationOfMathematics Olivia Caramello sur les Topoi comme « ponts unificateurs »

Source : #UnificationOfMathematics Olivia Caramello sur les Topoi comme « ponts unificateurs »