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
This entry was posted in category theory, Chu spaces, Higher category theory, Higher topos theory. Bookmark the permalink.