Steven Roman : Introduction to the langage of category theory

Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types

Livre paru chez Birhauser, le chapitre 1 peut être obtenu sur la page de l’auteur :

http://www.sroman.com/Download/CategoryBook114-Ch1.pdf

Page 9 :seule la catégorie SmCat des petites catégories ( dont les morphismes entre deux objets est un ensemble, non une classe ) existe

https://anthroposophiephilosophieetscience.wordpress.com/2016/08/25/la-metacategorie-cat-de-toutes-les-categories-comme-modele-mathematique-du-monde-des-idees-de-platon/

Ce que Steven Roman appelle SmCat est appelé Cat ici :

https://ncatlab.org/nlab/show/Cat

C’est l’exemple archétypique d’un 2-topos

https://ncatlab.org/nlab/show/2-topos

View original post

Advertisements
This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s