Category Archives: Théorie des topoi (topos theory)

#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

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

#HoTT : André Joyal : tribes and fibrations

Donc, récapitulons : https://ncatlab.org/homotopytypetheory/files/Joyal.pdf Un type est un objet d’une catégorie, appelée tribu (tribe) munie d’une classe F de morphismes, appelée « tribe Structure » ayant certaines propriétés particulières (page 14 sur 81) notamment des propriétés de fermeture pour certaines opérations, ainsi … Continue reading

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

Olivia Caramello : la théorie des topoi « ponts unificateurs » cinq ans après

http://logica.dmi.unisa.it/tacl/wp-content/uploads/2014/08/TheoryToposTheoreticBridgesCaramello.pdf

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

Campagne de « dénigrement » contre Olivia Caramello de la communauté des théoriciens des Topoi #UnificationOfMathematics

http://www.oliviacaramello.com/Unification/InitiativeOfClarificationResults.html#DenigratoryCampaign « The main accusations against me that have been spread out through the categorical community in the past five years are the following: that I would prove “well-known/folklore” (though unpublished nor publicly communicated) results (my “duality theorem” has been taken … Continue reading

Posted in Alain Badiou, ∞-topoi, category theory, Léon Brunschvicg, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory) | Tagged , | Leave a comment