Catégories et NBG...
Cette discussion a été créée à partir de réponses séparées de : Homo Topi face aux fondements des mathématiques et de la logique.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Pourquoi a-t-on créé NBG ?
Pourquoi certains croient-ils que la meilleure formalisation de la théorie des catégories est celle à base de NBG ?
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Dans le même style que ce que j'ai dit pour la théorie des ensembles, je dirais que la théorie des groupes a pour objet la fonction produit de groupe et non le groupe (les groupes sont à la théorie des groupes ce que les univers sont à la théorie des ensembles).
Édit. Si on veut dire que les groupes sont l'objet de la théorie des groupes alors on doit dire que les univers sont l'objet de la théorie des ensembles.