Théorie des catégories et fondements
Publications du Département de mathématiques (Lyon), Tome 14 (1977) no. 2, pp. 21-27.
@article{PDML_1977__14_2_21_0,
     author = {Preller, Anne},
     title = {Th\'eorie des cat\'egories et fondements},
     journal = {Publications du D\'epartement de math\'ematiques (Lyon)},
     pages = {21--27},
     publisher = {Universit\'e Claude Bernard - Lyon 1},
     volume = {14},
     number = {2},
     year = {1977},
     zbl = {0399.18001},
     mrnumber = {540766},
     language = {fr},
     url = {http://archive.numdam.org/item/PDML_1977__14_2_21_0/}
}
TY  - JOUR
AU  - Preller, Anne
TI  - Théorie des catégories et fondements
JO  - Publications du Département de mathématiques (Lyon)
PY  - 1977
DA  - 1977///
SP  - 21
EP  - 27
VL  - 14
IS  - 2
PB  - Université Claude Bernard - Lyon 1
UR  - http://archive.numdam.org/item/PDML_1977__14_2_21_0/
UR  - https://zbmath.org/?q=an%3A0399.18001
UR  - https://www.ams.org/mathscinet-getitem?mr=540766
LA  - fr
ID  - PDML_1977__14_2_21_0
ER  - 
Preller, Anne. Théorie des catégories et fondements. Publications du Département de mathématiques (Lyon), Tome 14 (1977) no. 2, pp. 21-27. http://archive.numdam.org/item/PDML_1977__14_2_21_0/

[1] Bernays, Journal of Symbolic Logic, 1937, p. 65-72.

[2] Blanc, Langages formels sur graphes. Cahiers de Montpellier, 1975.

[3] Blanc, Théories formelles sur graphes et extensions, par définition thèse, Dép. de Math., Luminy, Marseille, 1976. | Zbl 0339.02023

[4] Feferman, Some formal systems for the unlimited theory of structures and categories (abstract), J. Symbolic Logic, 39 (1974) p. 374-375.

[5] Feferman, Categorical foundations and foundations of category theory, en cours de publication. | Zbl 0401.18001

[6] Feferman, Set-theoretical formulation of some notions and theorems in category theory, (Stanford, October 1968).

[7) Isbell, Review of Lawrence [9] , Mathematical Reviews 34, (1967), n° 7332.

[8] Kreisel, Review of Mac Lane [10] , Mathematical Reviews 44 (1972), N° 25.

[9] Lawvere, The category of categories as a foundation of mathematics, Proc. Conference categorical algebra, (La Jolla 1965), Springer, 1966. p. 1-20. | MR 207517 | Zbl 0192.09702

[10] Mac Lane, Categorical algebra and set-theoretical foundations, Axiomatic Set Theory (UCLA 1967), Proc. Symposia in Pure Math. XIII, Part I, A.M.S. Providence (1971), p. 231-240. | MR 282791 | Zbl 0219.02044

[11] Mac Lane, Sets, topoi and interval logic in categories, Logic Colloquium 1973, North-Holland Publ. Co ; Amsterdam (1975), p. 119-133. | MR 384545 | Zbl 0313.18001

[12] Preller, A formal category theory ; Colloque de logique, Orléans, 1972.

[13] Preller, Langages, formels a graphes, Colloque de logique, Clermont-Ferrand, 1975. | Zbl 0453.03070

14] Scott, Constructive validity, Symposium in Automatic demonstration, Lecture notes in mathematics 125, Springer (1970), p. 237-275. | MR 278905 | Zbl 0206.28402