Daily Archives: September 15, 2019

Hegel : science de la logique dans ncatlab

Ici : https://ncatlab.org/nlab/show/Science+of+Logic#Phen760 « Hence we formalize Wesen by ∞-topos «  un cadre mathématique pour la doctrine hégélienne de l’Essence (Wesen) est choisi dans #HoTT et #HigherToposTheory : »In (homotopy) type theory the appearance of a reflection of the type system in itself is a type universe Type∈H here) see … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Hegel, Higher category theory, Higher topos theory, homotopy type theory, opposition monde véritable-monde imaginaire, Philosophie, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), Type theory

Topos et hypothèse du continu

http://www.normalesup.org/~cagne/cagne_rapport_ter_m1.pdf  

Posted in category theory, Logique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)