@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}, publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS}, volume = {29}, number = {1}, year = {1988}, mrnumber = {941649}, zbl = {0652.18001}, language = {en}, url = {http://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 - http://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 http://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. http://www.numdam.org/item/CTGDC_1988__29_1_9_0/
BECategories 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, | Numdam | Zbl
& ,BuAlgèbres graphiques, Cahiers Top. et Géom. Diff. XXII-3 (1981), 249-265, | Numdam | Zbl
,G1On distributive homological algebra, I. RE-categories, Cahiers Top. et Géom. Diff. XXV-3 (1984), 259-301, | Numdam | MR | Zbl
,G2On distributive homological algebra, II, Theories and models, Id, XXV-4, 353-379, | Numdam | MR | Zbl
,G3, On distributive homological algebra, III, Homological theories, Id, XXVI-2 (1985), 169-213, | Numdam | MR | Zbl
,Gr, Regular categories, Lecture Notes in Math, 236, Springer (1971), 121-222, | MR | Zbl
,Je, Set Theory, Academic Press, 1978, | MR | Zbl
,K1, Basic concepts of enriched category theory, Cambridge Univ. Press, 1982. | MR | Zbl
,K2, On the essentially-algebraic theory generated by a sketch, Bull. Austral. Math. Soc, 26 (1982), 44-56, | MR | Zbl
,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, | MR | Zbl
,Categories for the working mathematician, Springer 1971, | MR | Zbl
, ,Mi, Theory of categories, Academic Press, 1965, | MR | Zbl
,MS, Topoi over graphs, Cahiers Top. et Géom. Diff. XXV-1 (1984), 51-63, | Numdam | MR | Zbl
& ,Pu, Korrrespondenzen in abelschen Kategorien, Math. Annalen 148 (1962), 1-30, | MR | Zbl
,S1, Limits indexed by category valued 2-functors, J. Pure Appl. Alg. 8 (1976), 149-181, | MR | Zbl
,S2, Fibrations in bicategories, Cahiers Top. et Géom. Diff. XXI-2 (1980), 111-160, | Numdam | MR | Zbl
,