Category Archives: Higher topos theory

André Joyal : Catlab

En parallèle et en complément du Nlab: https://ncatlab.org/joyalscatlab/published/HomePage Advertisements

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, Philosophie mathématique, Théorie des topoi (topos theory) | Tagged | Leave a comment

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

En quatre vidéos :

Posted in ∞-catégories, ∞-topoi, category theory, Higher topos theory, Philosophie mathématique, Théorie des topoi (topos theory) | Tagged | Leave a comment

Voir l’Univers dans un topos

https://ncatlab.org/nlab/show/universe+in+a+topos et cet article de Streicher : http://www.mathematik.tu-darmstadt.de/~streicher/NOTES/UniTop.pdf William Blake : voir un Univers dans un grain de sable et le ciel dans une fleur des champs http://poemescitations.over-blog.com/william-blake-univers.html http://www.apophtegme.com/SPICILEGE/LITTERATURE/blake.htm

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Littérature-Poésie, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Tagged , | Leave a comment

Lettre d’André Joyal à Grothendieck

https://webusers.imj-prg.fr/~georges.maltsiniotis/ps/lettreJoyal.pdf

Posted in ∞-catégories, ∞-topoi, category theory, Grothendieck, Higher category theory, Higher topos theory, homotopy type theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Tagged , | Leave a comment

Sept textes d’André Joyal

http://www.iecl.univ-lorraine.fr/~Pierre-Yves.Gaillard/DIVERS/Joyal/

Posted in category theory, Higher category theory, Higher topos theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Tagged | Leave a comment

#HoTT The Book : 1.7 coproduct types

The HoTT Book “Coproduct” est une notion catégorique, c’est la notion duale de celle de produit (product) , celle de Somme (sum) https://ncatlab.org/nlab/show/coproduct Dans le cas des ensembles ( catégorie Set) c’est l’union disjointe(et pour les ensembles le produit est … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Logique, Philosophie, Philosophie mathématique, Science-internelle | Tagged , | Leave a comment

Tout un tas de liens sur n-category cafe

https://golem.ph.utexas.edu/category/archives.html

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Philosophie, Philosophie mathématique, Physique, Science, mathesis