Category Archives: Chu spaces

La catégorie CABA des algèbres de Boole atomiques complètes

En Page 6 de l’article déjà étudié de Vaughan Pratt , est établie l’équivalence catégorique de la catégorie Setop ( qui représente le mental individuel) et de la catégorie CABA : https://ncatlab.org/nlab/show/complete+Boolean+algebra Advertisements

Posted in category theory, Chu spaces, Higher category theory, Higher topos theory

Catégories internes ( internal category theory)

Une catégorie peut être définie par la donnée d’un ensemble d’objets O et d’un ensemble de morphismes M et de flèches entre ces ensembles : O → M associant à un objet son morphismes identité M × M → M … Continue reading

Posted in ∞-catégories, category theory, Chu spaces, Higher category theory, homotopy type theory, Théorie des ensembles (set theory), Théorie des topoi (topos theory)

#ChuSpaces les espaces de Chu sur Nlab

La forme la plus simple d’espace de Chu peut être considérée comme une matrice à valeurs dans K, un ensemble à deux éléments, des valeurs de vérité: https://ncatlab.org/nlab/show/Chu+spaces,+simple+examples Le cas le plus général est celui de la construction de Chu: … Continue reading

Posted in Chu spaces

#ScienceInternelle #Chuspaces un cadre mathématique pour la dualité cartésienne corps-esprit

J’ai déjà parlé ici des espaces et catégories de Chu : https://anthroposophiephilosophieetscience.wordpress.com/2017/03/05/scienceinternelle-15-chuspaces-les-espaces-de-chu/ et de cet article philosophique de Vaughan Pratt: http://boole.stanford.edu/pub/ratmech.pdf Depuis la découverte de la théorie homotopique des types (HoTT, ou homotopy type theory) vers 2006, tout le monde … Continue reading

Posted in ∞-catégories, ∞-topoi, Chu spaces, Descartes, homotopy type theory, Philosophie, Science-internelle | Tagged , ,