Click to access FoundationsForCategoryTheory.pdf
Cet article se situe dans la lancée de :
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