Archives pour la catégorie 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

Olivia Caramello #UnificationOfMathematics Introduction to categorical Logic, classifying toposes and the bridge technique

Source : Olivia Caramello #UnificationOfMathematics Introduction to categorical Logic, classifying toposes and the bridge technique