SMA Introduction `a la théorie des catégories et aux lemmes de ...

En 1964, il a proposé une axiomatisation de la théorie des ensembles dans le langage des catégories. En 1966, il a publié une théorie de la catégorie des ...


Un extrait du document