Axiomatisation de la catégorie des catégories
Cahiers de topologie et géométrie différentielle, Tome 17 (1976) no. 2, pp. 135-170.
@article{CTGDC_1976__17_2_135_0,
     author = {Blanc, G. and Donnadieu, M. R.},
     title = {Axiomatisation de la cat\'egorie des cat\'egories},
     journal = {Cahiers de topologie et g\'eom\'etrie diff\'erentielle},
     pages = {135--170},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {17},
     number = {2},
     year = {1976},
     mrnumber = {457182},
     zbl = {0356.18001},
     language = {fr},
     url = {http://archive.numdam.org/item/CTGDC_1976__17_2_135_0/}
}
TY  - JOUR
AU  - Blanc, G.
AU  - Donnadieu, M. R.
TI  - Axiomatisation de la catégorie des catégories
JO  - Cahiers de topologie et géométrie différentielle
PY  - 1976
SP  - 135
EP  - 170
VL  - 17
IS  - 2
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://archive.numdam.org/item/CTGDC_1976__17_2_135_0/
LA  - fr
ID  - CTGDC_1976__17_2_135_0
ER  - 
%0 Journal Article
%A Blanc, G.
%A Donnadieu, M. R.
%T Axiomatisation de la catégorie des catégories
%J Cahiers de topologie et géométrie différentielle
%D 1976
%P 135-170
%V 17
%N 2
%I Dunod éditeur, publié avec le concours du CNRS
%U http://archive.numdam.org/item/CTGDC_1976__17_2_135_0/
%G fr
%F CTGDC_1976__17_2_135_0
Blanc, G.; Donnadieu, M. R. Axiomatisation de la catégorie des catégories. Cahiers de topologie et géométrie différentielle, Tome 17 (1976) no. 2, pp. 135-170. http://archive.numdam.org/item/CTGDC_1976__17_2_135_0/

1 F.W. Lawvere, The category of categories as a foundation of Mathematics, Proc. Conf. on Categorical Algebra, La Jolla, Springer, 1966. | MR | Zbl

2 G. Osius, Categorical Set Theory, J. Pure and Ap. Algebra 4 (1974). | MR | Zbl

3 G. Blanc et A. Preller, Lawvere's basic Theory of the category of categories, J. Symbolic Logic (1975), 25 - 29. | MR | Zbl

4 M.R. Donnadieu, Démonstration Du «Théorème de construction de catégories d'après description» de Lawvere sous certains axiomes, C. R. A. S. Paris, t. 280 (1975). | MR | Zbl

5 C. Ehresmann, Esquisses et types de structures algébriques, Bul. Inst. Polit. laşi XIV (1968). | MR | Zbl

6 G. Blanc, Langage du premier ordre sur graphe et théorie sur catégorie, Cahier Math. de Montpellier (1975). | MR

7 P. Freyd, Aspect of topoi, Bull. Austral. Math. Soc. 7 (1972). | MR

8 J. Benabou, Problèmes dans les topos, Inst. Math. Pures et Ap., rapport 34, Univ. Catholique de Louvain (1973).

9 M.R. Donnadieu, Une axiomatisation de la Catégorie des catégories», Thèse de 3e cycle, Luminy, Avril 1976.