@article{CTGDC_1988__29_1_9_0,
author = {Betti, Renato and Grandis, Marco},
title = {Complete theories in $2$-categories},
journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
pages = {9--57},
year = {1988},
publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
volume = {29},
number = {1},
mrnumber = {941649},
zbl = {0652.18001},
language = {en},
url = {https://www.numdam.org/item/CTGDC_1988__29_1_9_0/}
}
TY - JOUR AU - Betti, Renato AU - Grandis, Marco TI - Complete theories in $2$-categories JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques PY - 1988 SP - 9 EP - 57 VL - 29 IS - 1 PB - Dunod éditeur, publié avec le concours du CNRS UR - https://www.numdam.org/item/CTGDC_1988__29_1_9_0/ LA - en ID - CTGDC_1988__29_1_9_0 ER -
%0 Journal Article %A Betti, Renato %A Grandis, Marco %T Complete theories in $2$-categories %J Cahiers de Topologie et Géométrie Différentielle Catégoriques %D 1988 %P 9-57 %V 29 %N 1 %I Dunod éditeur, publié avec le concours du CNRS %U https://www.numdam.org/item/CTGDC_1988__29_1_9_0/ %G en %F CTGDC_1988__29_1_9_0
Betti, Renato; Grandis, Marco. Complete theories in $2$-categories. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 29 (1988) no. 1, pp. 9-57. https://www.numdam.org/item/CTGDC_1988__29_1_9_0/
BE & , Categories of sketched structures, Cahiers Top. et Géom. Diff. XIII (1972), 105-214; reprinted in; Charles Ehresmann; Œuvres complètes et commentées, Part IV-2, Amiens, 1983, | Zbl | Numdam
Bu, Algèbres graphiques, Cahiers Top. et Géom. Diff. XXII-3 (1981), 249-265, | Zbl | Numdam
G1, On distributive homological algebra, I. RE-categories, Cahiers Top. et Géom. Diff. XXV-3 (1984), 259-301, | Zbl | MR | Numdam
G2, On distributive homological algebra, II, Theories and models, Id, XXV-4, 353-379, | Zbl | MR | Numdam
G3, , On distributive homological algebra, III, Homological theories, Id, XXVI-2 (1985), 169-213, | Zbl | MR | Numdam
Gr, , Regular categories, Lecture Notes in Math, 236, Springer (1971), 121-222, | Zbl | MR
Je, , Set Theory, Academic Press, 1978, | Zbl | MR
K1, , Basic concepts of enriched category theory, Cambridge Univ. Press, 1982. | Zbl | MR
K2, , On the essentially-algebraic theory generated by a sketch, Bull. Austral. Math. Soc, 26 (1982), 44-56, | Zbl | MR
KS, & , Review of the elements of 2-categories, Lecture Notes in Math, 611, Springer (1977), | MR
KR, & , Doctrines in categorical logic, in; Handbook of mathematical logic, North Holland 1977, 283-313, | MR
La, , Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. U.S.A., 50 (1963), 869-872, | Zbl | MR
, , Categories for the working mathematician, Springer 1971, | Zbl | MR
Mi, , Theory of categories, Academic Press, 1965, | Zbl | MR
MS, & , Topoi over graphs, Cahiers Top. et Géom. Diff. XXV-1 (1984), 51-63, | Zbl | MR | Numdam
Pu, , Korrrespondenzen in abelschen Kategorien, Math. Annalen 148 (1962), 1-30, | Zbl | MR
S1, , Limits indexed by category valued 2-functors, J. Pure Appl. Alg. 8 (1976), 149-181, | Zbl | MR
S2, , Fibrations in bicategories, Cahiers Top. et Géom. Diff. XXI-2 (1980), 111-160, | Zbl | MR | Numdam





