Category Archives: Higher topos theory

André Joyal #HoTT : simplicial tribes

« Introduction to simplicial homotopy theory »: http://hopf.math.purdue.edu/Joyal-Tierney/JT-chap-01.pdf La définition des tribus simpliciales figure dans cette note : http://logica.dmi.unisa.it/tacl/wp-content/uploads/2014/08/Joyal-TACL2015.pdf « Category theory and HoTT » Page 38 : une tribu simpliciale est une catégorie enrichie sur les ensembles simpliciaux ayant en plus une structure … Continue reading

Posted in ∞-catégories, category theory, Higher category theory, Higher topos theory, homotopy type theory, Science-internelle | Leave a comment

Wronski : le caractère trine de l’Idée de Dieu

Nous observons dans ce qui est appelé un peu pompeusement par Wronski « trinomie génétique » le caractère trine de l’Idée de Dieu dans la science internelle, en oubliant les formules mathématiques que Wronski lui associe et qui reflétent la science de … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, DIEU, Grothendieck, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), Wronski, Wronski-Messianisme-séhélianisme-Science-internelle | Leave a comment

New foundations

New Foundations: Towards Tribal Unity

Posted in category theory, Higher category theory, Higher topos theory, homotopy type theory, Philosophie mathématique, Science, mathesis, Science-internelle

William Lawvere: equality in hyperdoctrines and compréhension schema as an adjoint functor

https://ncatlab.org/nlab/files/LawvereComprehension.pdf Cité par André Joyal comme source importante dans « categorical homotopy type theory »:(Page 3 sur 81) https://ncatlab.org/homotopytypetheory/files/Joyal.pdf

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Science, mathesis, Science-internelle, Théorie des topoi (topos theory) | Tagged ,

#HoTT André Joyal what is an elementary higher topos ?

En version écrite : https://www.msri.org/workshops/689/schedules/18227/documents/2046/assets/20468 Autres liens https://faculty.math.illinois.edu/~rasekh2/talks/ehttalk.pdf https://ncatlab.org/nlab/show/elementary+%28infinity%2C1%29-topos

Posted in ∞-catégories, ∞-topoi, category theory, Higher topos theory, homotopy type theory, Science, mathesis, Science-internelle, Théorie des topoi (topos theory)

« Process and reality «  de Whitehead dans le langage métaphysique des catégories

http://nickrossiter.org.uk/process/Krakow14-2.pdf

Posted in category theory, Higher category theory, Higher topos theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory) | Tagged , ,

Bartosz Milewski : foncteurs représentables et lemme de Yoneda

Sur le blog de Bartosz Milewski: Category Theory for Programmers: The Preface https://bartoszmilewski.com/category/category-theory/

Posted in category theory, Higher category theory, Higher topos theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle