Ce nouvel article de David Ellerman :
http://philsci-archive.pitt.edu/12353/1/_LLP-reprint.pdf
est crucial, en ce qu’il permet de comprendre la différence entre théorie des ensembles, et théorie des catégories : cette dernière est la théorie mathématique des universaux concrets, c’est à dire participant à eux mêmes, tandis que la théorie des ensembles est le cadre mathématique pour les universaux abstraits, qui sont des ensembles, ne pouvant s’appartenir à eux-mêmes, selon le célèbre argument de Russell :
https://fr.wikipedia.org/wiki/Paradoxe_de_Russell
Les deux théories sont donc complémentaires, plutôt qu’ennemies.
Qu’est ce qu’un universel concret?c’est une Idée intelligible.
Les objets de la théorie,qui sont les catégories, peuvent donc être vus comme universaux concrets, c’est à dire comme Idées
/https%3A%2F%2Fassets.over-blog.com%2Ft%2Fcedistic%2Fcamera.png)