Category Archives: category theory

Type-theoretic model category

https://ncatlab.org/nlab/show/type-theoretic+model+category Page citée sur celle ci : https://ncatlab.org/nlab/show/identity+type Advertisements

Posted in category theory, Higher category theory, homotopy type theory | Tagged | Leave a comment

Categories types and structures

https://www.di.ens.fr/users/longo/files/CategTypesStructures/book.pdf

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

#HoTT : André Joyal weak factorisation system

Deux liens sur les deux wikis de la théorie des catégories: https://ncatlab.org/joyalscatlab/published/Weak+factorisation+systems https://ncatlab.org/nlab/show/weak+factorization+system André Joyal explique aussi la notion dans ses notes, par exemple Page 34 et 35 de : http://www.math.uwaterloo.ca/~asl2013/Slides/Joyal.pdf qui a été étudiée ici : https://anthroposophiephilosophieetscience.wordpress.com/2017/10/14/andre-joyal-hott-tribus-et-⊓-tribus/ Page 34 … Continue reading

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

André Joyal : Catlab

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

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

André Joyal : New variations on the notion of topos : locus and para-topos

https://sites.google.com/site/logiquecategorique/autres-seminaires/ihes/ihestopos/joyal https://indico.math.cnrs.fr/event/747/session/5/contribution/19/material/0/0.pdf

Posted in category theory, Théorie des topoi (topos theory) | Leave a comment

#HoTT : le cours d’André Joyal en cinq parties sur les tribus

Partie 1: https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%201.pdf Partie 2: https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%202.pdf Partie 3: https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%203.pdf Partie 4: https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%204.pdf Partie 5: https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%205.pdf

Posted in ∞-catégories, category theory, homotopy type 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