zbMATH — the first resource for mathematics

Cartesian bicategories. I. (English) Zbl 0637.18003
From the authors’ introduction: “A locally posetal bicategory is Cartesian if it has a symmetric tensor product, every object is a cocommutative comonoid object, every arrow is a lax comonoid homomorphism and comultiplication and counit have right adjoints. Alternatively, a locally postal bicategory is Cartesian if the subbicategory of arrows with right-adjoints has finite biproducts, each hom-category has finite products and the obvious induced tensor product on arrows is functorial. After describing the first consequences of our definition, we investigate the second main notion of ‘discrete object’ in a Cartesian bicategory. Modulo a ‘functional completeness’ axiom, bicategories of relations are characterized by Cartesianness and discreteness of every object (Sections 2, 3), and these properties together with small bicoproducts, effectiveness and generators characterize bicategories of relations of a Grothendieck topos (Section 6). Bicategories of ordered objects in an exact category can be characterized as follows: they are Cartesian, closed under the Kleisli construction, and the subbicategory of discrete objects is functionally complete and generates (in a suitable sense).”
Reviewer: W.Tholen

18D05 Double categories, \(2\)-categories, bicategories and generalizations (MSC2010)
18D10 Monoidal, symmetric monoidal and braided categories (MSC2010)
Full Text: DOI
[1] Barr, M., Exact categories and categories of sheaves, (Lecture Notes in Mathematics, 236, (1971), Springer Berlin), 1-120
[2] BĂ©nabou, J., Introduction to bicategories, (Lecture Notes in Mathematics, 47, (1967), Springer Berlin), 1-77 · Zbl 1375.18001
[3] A. Carboni, An enriched characterization of bicategories of relations of Grothendieck toposes, in preparation.
[4] A. Carboni, S. Kasangian and R. Street, Bicategories of spans and relations, J. Pure Appl. Algebra, to appear. · Zbl 0577.18005
[5] Carboni, A.; Kasangian, S.; Walters, R. F.C., Some basic facts about bicategories of modules, (1985), Dipartimento di Matematica Milano
[6] Cruciani, R., La teoria delle relazioni nello studio di categorie regolari e di categorie esatte, Riv. Mat. Univ. Parma, 1, 4, (1975) · Zbl 0356.18004
[7] Fox, T., Coalgebras and Cartesian categories, Comm. Algebra, 4, 7, 665-667, (1976) · Zbl 0338.18005
[8] Freyd, P. J., On canonizing category theory, or, on functorializing model theory, pamphlet, (1974), University of Pennsylvania
[9] Johnstone, P. T., Topos theory, (London Math. Soc. Monographs, 10, (1977), Academic Press New York) · Zbl 0368.18001
[10] A. Joyal and M. Tierney, An extension of the Galois theory of Grothendieck, Preprint. · Zbl 0541.18002
[11] Kelly, G. M.; Laplaza, M. L., Coherence for compact closed categories, J. Pure Appl. Algebra, 19, 193-213, (1980) · Zbl 0447.18005
[12] Lawvere, F. W., Metric spaces, generalized logic, and closed categories, Rend. Sem. Mat. Fis. Milano, 135-166, (1974) · Zbl 0335.18006
[13] Makkai, M.; Reyes, G., First order categorical logic, (Lecture Notes in Mathematics, 611, (1977), Springer Berlin)
[14] Puppe, D., Korrespondenzen in abelschen kategorien, Math. Ann., 148, 1-30, (1962) · Zbl 0109.25201
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.