@article{CTGDC_1982__23_1_3_0,
author = {Kelly, G. M.},
title = {Structures defined by finite limits in the enriched context, I},
journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
volume = {23},
year = {1982},
pages = {3-42},
mrnumber = {648793},
zbl = {0538.18006},
language = {en},
url = {http://dml.mathdoc.fr/item/CTGDC_1982__23_1_3_0}
}
Kelly, G. M. Structures defined by finite limits in the enriched context, I. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 23 (1982) pp. 3-42. http://gdmltest.u-ga.fr/item/CTGDC_1982__23_1_3_0/
1 and , Categories of sketched structures, Cahiers Topo. et Géom. Diff. 13 (1972), 103-214. | Numdam | MR 323856 | Zbl 0263.18009
2 , Structures algébriques dans les catégories, Cahiers Topo. et Géom. Diff. 10 (1968), 1-126. | Numdam | MR 244335 | Zbl 0162.32602
3 , Localisation dans les catégories de modèles, Thèse, Université Pari s-Nord, 1977,
4 , Type de densité d'une sous-catégorie pleine, Ann. Soc. Scient. Bruxelles 90 (1976), 25- 47. | MR 396716 | Zbl 0318.18005
5 , Esquisses et types de structures algébriques, Bul. Inst. Polit. Iaşi 14 (1968), 1- 14. | MR 238918 | Zbl 0196.03102
6 , Aspects of topoi, Bull. Austral. Math. Soc. 7 (1976), 1-76 and 467-480. | Zbl 0252.18001
7 and , Lokal präsentierbare Kategorien, Lecture Notes in Math. 221, Springer (1971). | MR 327863 | Zbl 0225.18004
8 , Monomorphisms, epimorphisms, and pullbacks, J. Austral. Math. Soc. 9 (1969), 124- 142. | MR 240161 | Zbl 0169.32604
9 , A unified treatment of transfinite constructions, Bull. Austral. Math. Soc. 22 (1980), 1-83. | MR 589937 | Zbl 0437.18004
[*] , The basic concepts of enriched category theory, Cambridge Univ. Press, 1982. | MR 651714 | Zbl 0478.18005
10. , Categories with structure - biadjoints for algebraic functors (to appear).
11 , Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. USA 50 (1963), 869-872. | MR 158921 | Zbl 0119.25901
12 , Autonomous equational categories, J. Math. Mech. 15 (1966), 637-642. | MR 190205 | Zbl 0146.25104
13 and , First Order Categorical Logic, Lecture Notes in Math. 611, Springer (1977). | MR 505486 | Zbl 0357.18002