@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 Categories of sketched structures, Cahiers Topo. et Géom. Diff. 13 (1972), 103-214. | Numdam | MR 323856 | Zbl 0263.18009
and ,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 Lokal präsentierbare Kategorien, Lecture Notes in Math. 221, Springer (1971). | MR 327863 | Zbl 0225.18004
and ,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 First Order Categorical Logic, Lecture Notes in Math. 611, Springer (1977). | MR 505486 | Zbl 0357.18002
and ,