Category Archives: Type theory

Relations entre #HoTT et la théorie des catégories : page du Nlab

Cette page plus générale porte sur les liens entre la théorie des types et la théorie des catégories : Il s’agit d’un exemple de dualité entre syntaxe et sémantique : la théorie des catégories  pouvant être considérée comme … Continue reading

Posted in Science, mathesis, category theory, Higher category theory, Science-internelle, homotopy type theory, Type theory, HTTUF

Hegel : science de la logique dans ncatlab

Ici : « 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

Categorical structures for Type theory in univalent foundations

Posted in category theory, EHTT, Higher category theory, homotopy type theory, Type theory

Internal type theory

Posted in Type theory