Théorie des catégories et fondements
Preller, Anne
Publications du Département de mathématiques (Lyon), Tome 14 (1977), p. 21-27 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1977-01-01
@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)},
     volume = {14},
     year = {1977},
     pages = {21-27},
     mrnumber = {540766},
     zbl = {0399.18001},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/PDML_1977__14_2_21_0}
}

Preller, Anne. Théorie des catégories et fondements. Publications du Département de mathématiques (Lyon), Tome 14 (1977) pp. 21-27. http://gdmltest.u-ga.fr/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