#ETCC #ETCS axiomatisation de #Cat catégorie des catégories et de #Set topos des ensembles

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

La (méta)catégorie Cat de toutes les (petites) catégories et la catégorie Set des ensembles ont ici joué le rôle de mathèmes de l’Idée d’Un et de l’Idée d’être :

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

https://anthroposophiephilosophieetscience.wordpress.com/2016/08/22/premiere-pierre-pour-une-nouvelle-science-internelle-mathesis-universalis-lidee-de-lun/

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

La théorie axiomatique de Cat a été entreprise par Bill Lawvere sous le nom d’ETCC (« elementary theory of the category of catégories ») ou ET2CC (« elementary theory of the 2-category of categories) :

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

L’axiomatisation de la catégorie Set des ensembles , c’est à dire de la théorie des ensembles dans l’esprit de la théorie des catégories (donc pas dans l’esprit des pionniers comme Cantor) est l’objet de ETCS (« elementary theory of the category of sets) :

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

On peut faire observer comme Alfred Tarski que la théorie des ensembles précède, non seulement historiquement mais logiquement, la théorie des catégories puisqu’une catégorie n’est rien d’autre que la donnée d’un ensemble d’objets et d’un ensemble de…

View original post 282 more words

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