Daniel Murfet : foundations for category theory; univers de Grothendieck

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

Click to access FoundationsForCategoryTheory.pdf

Cet article se situe dans la lancée de :

Questions de taille dans la théorie des catégories

Daniel Murfet déclare d’ entrée « n’être aucunement un expert «  mais rechercher « la paix de l’esprit » relativement aux questions fondationnelles en théorie des catégories. C’est tout à fait respectable. Il est facile de se rendre compte que les catégoriciens ne semblent guère  préoccupés par la rigueur mathématique et les questions qu’elle pose, ce qui est d’ailleurs considéré en général comme une supériorité de la théorie. Les « questions fondationnelles «  , déjà abordées dans l’article sur les questions de taille récemment mis en ligne, se rapportent aux bases ensemblistes de la TC , à travers une hiérarchie des collections  : ensembles, classes, conglomérats

L’auteur, Daniel Murfet, parcourt les différentes théories axiomatiques  des ensembles , ZFC ( axiomes de Zermelo-Fraenkel +axiomes du choix ) et NBG (Bernays …

View original post 1,713 more words

Leave a comment