@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}, mrnumber = {540766}, zbl = {0399.18001}, 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 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/ 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), Volume 14 (1977) no. 2, pp. 21-27. http://archive.numdam.org/item/PDML_1977__14_2_21_0/
[1] Journal of Symbolic Logic, 1937, p. 65-72.
,[2] Langages formels sur graphes. Cahiers de Montpellier, 1975.
,[3] Théories formelles sur graphes et extensions, par définition thèse, Dép. de Math., Luminy, Marseille, 1976. | Zbl
,[4] Some formal systems for the unlimited theory of structures and categories (abstract), J. Symbolic Logic, 39 (1974) p. 374-375.
,[5] Categorical foundations and foundations of category theory, en cours de publication. | Zbl
,[6] Set-theoretical formulation of some notions and theorems in category theory, (Stanford, October 1968).
,[7) Review of Lawrence [9] , Mathematical Reviews 34, (1967), n° 7332.
,[8] Review of Mac Lane [10] , Mathematical Reviews 44 (1972), N° 25.
,[9] The category of categories as a foundation of mathematics, Proc. Conference categorical algebra, (La Jolla 1965), Springer, 1966. p. 1-20. | MR | Zbl
,[10] 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 | Zbl
,[11] Sets, topoi and interval logic in categories, Logic Colloquium 1973, North-Holland Publ. Co ; Amsterdam (1975), p. 119-133. | MR | Zbl
,[12] A formal category theory ; Colloque de logique, Orléans, 1972.
,[13] Langages, formels a graphes, Colloque de logique, Clermont-Ferrand, 1975. | Zbl
,14] Constructive validity, Symposium in Automatic demonstration, Lecture notes in mathematics 125, Springer (1970), p. 237-275. | MR | Zbl
,