Cat, catégorie des (petites) catégories , est un typos

C’est un théorème de Lamarche- voir cette note de Joyal : page 58 sur 75

http://www.crm.cat/en/Activities/Documents/joyal-crm-2013.pdf

Sur la notion de typos :

https://anthroposophiephilosophieetscience.wordpress.com/2017/10/22/hott-andre-joyal-la-notion-de-typos/

Cette notion est définie dans la note de Joyal donnée au début

http://www.crm.cat/en/Activities/Documents/joyal-crm-2013.pdf

page 56 sur 75

Des exemples de typos sont donnés pages 57 et 58

Page 59 : lien entre les typoi et les hyperdoctrines de Lawvere

Les typoi forment une 2-catégorie (Page 60)

Advertisements
This entry was posted in category theory, homotopy type theory, Philosophie, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory). Bookmark the permalink.