Daily Archives: September 21, 2017

(∞,1)-catégories internes

https://ncatlab.org/nlab/show/category+object+in+an+%28infinity%2C1%29-category Une catégorie interne dans une (∞, 1)-catégorie C est un objet simplicial dans C: https://ncatlab.org/nlab/show/simplicial+object+in+an+%28infinity%2C1%29-category c’est à dire un (∞, 1)-foncteur : https://ncatlab.org/nlab/show/%28infinity%2C1%29-functor Une catégorie double (“double category”) est une catégorie interne à Cat (catégorie de toutes les catégories): … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, 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