Archives pour la catégorie Higher topos theory

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

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

Publicités

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