×

Languages for monoidal categories. (English) Zbl 0693.18003

As the title suggests, the author introduces typed languages for monoidal categories, in analogy with what has been done for toposes and cartesian closed categories (for example). As more and more examples of non-strict monoidal categories arise - quantum groups come to mind - such languages should become more widely used and useful. To quote the author, “The power of this language is that it manipulates not only the formal monoidal structure, which the coherence theorem also does, but the data specific to [the monoidal category].” The language depends both on the theory of a monoidal category and the specific model with which one wants to work.
Reviewer: D.H.Van Osdol

MSC:

18D10 Monoidal, symmetric monoidal and braided categories (MSC2010)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Barr, M.; Beck, J., Homology and standard constructions, (Lecture Notes in Mathematics, 80 (1969), Springer: Springer Berlin), 245-335
[2] Barr, M.; Wells, C., Toposes, Triples and Theories (1985), Springer: Springer Berlin · Zbl 0567.18001
[3] Boileau, A.; Joyal, A., La logique des topos, J. Symbolic Logic, 46, 6-16 (1981) · Zbl 0544.03035
[4] Borceux, F.; Day, B., Universal algebra in a closed category, J. Pure Appl. Algebra, 16, 133-147 (1980) · Zbl 0426.18004
[5] Bruno, O. P., Internal Mathematics in toposes, (Trabajos de Mathematica, 70 (1984), Consejo nacional de Investigationes Cientificas y Tecnicas, Instituto Argentino de mathematica)
[6] Bunge, M., Relative functor categories and categories of algebras, J. Algebra, 11, 64-101 (1969) · Zbl 0165.32902
[7] Day, B., On closed categories of functors, (Reports of the Midwest Category Seminar IV. Reports of the Midwest Category Seminar IV, Lecture Notes in Mathematics, 137 (1970), Springer: Springer Berlin), 1-38
[8] Day, B., On adjoint-functor factorisation, (Category seminar Sydney 1972/73. Category seminar Sydney 1972/73, Lecture Notes in Mathematics, 420 (1974), Springer: Springer Berlin), 1-19 · Zbl 0367.18004
[9] Eilenberg, S.; Kelly, G. M., Closed Categories, (Proc. Conference on Categorical Algebra, La Jolla, 1965 (1966), Springer: Springer Berlin), 421-562 · Zbl 0192.10604
[10] Fröhlich, A.; Wall, C. T.C., Graded monoidal categories, Comp. Math., 28, 3, 229-285 (1974) · Zbl 0327.18007
[11] C. Barry Jay, Languages for triples, bicategories and braided monoidal categories, to appear.; C. Barry Jay, Languages for triples, bicategories and braided monoidal categories, to appear. · Zbl 0702.18005
[12] Johnstone, P. T., Topos Theory, (London Mathematical Society Monographs, 10 (1977), Academic Press: Academic Press London) · Zbl 0368.18001
[13] Keigher, William F., Symmetric monoidal closed categories generated by commutative adjoint monads, Cashiers Topologie Géom. Différentielle, 19, 3, 269-293 (1978) · Zbl 0381.18015
[14] Kelly, G. M., On MacLane’s conditions for coherence of natural associativities, commutativities, etc., J. Algebra, 4, 397-402 (1964) · Zbl 0246.18008
[15] Kelly, G. M., Adjunction for enriched categories, (Reports of the Midwest Category Seminar III. Reports of the Midwest Category Seminar III, Lecture Notes in Mathematics, 106 (1969), Springer: Springer Berlin), 166-177 · Zbl 0214.03201
[16] Kelly, G. M., An abstract approach to coherence, (Coherence in Categories. Coherence in Categories, Lecture Notes in Mathematics, 281 (1972), Springer: Springer Berlin), 106-147 · Zbl 0243.18016
[17] Kelly, G. M., Basic Concepts of Enriched Category Theory, (London Mathematical Society Lecture Note Series, 64 (1982), Cambridge University Press: Cambridge University Press Cambridge) · Zbl 0709.18501
[18] Kelly, G. M.; MacLane, S., Coherence in closed categories, J. Algebra, 1, 97-140 (1971) · Zbl 0212.35001
[19] Kock, A., Monads on symmetric monoidal closed categories, Arch. Math., 21, 1-10 (1970) · Zbl 0196.03403
[20] Lambek, J., Deductive systems and categories I. Syntatic calculus and residuated categories, Math. Systems Theory, 2, 287-318 (1968) · Zbl 0176.28901
[21] Lambek, J., Deductive systems and categories II. Standard constructions and closed categories, (Lecture Notes in Mathematics, 86 (1969), Springer: Springer Berlin), 76-122 · Zbl 0198.33701
[22] Lambek, J.; Scott, P., Introduction to Higher Order Categorical Logic, (Cambridge Studies in Advanced Mathematics, 7 (1986), Cambridge University Press: Cambridge University Press Cambridge) · Zbl 0596.03002
[23] Lewis, G., Coherence for a closed functor, (Coherence in Categories. Coherence in Categories, Lecture Notes in Mathematics, 281 (1972), Springer: Springer Berlin), 148-195
[24] Lindner, H., Adjunctions in monoidal categories, Manuscripta Math., 26, 123-139 (1978) · Zbl 0389.18004
[25] Lindner, H., Center and trace, Arch. Math., 35, 476-496 (1980) · Zbl 0453.18007
[26] Lindner, H., Enriched categories and enriched modules, Cahiers Topologie Geom. Différentielle, 22, 2, 161-173 (1981) · Zbl 0463.18004
[27] Linton, F. E.J., Relative functional semantics: adjointness results, (Category Theory, Homology Theory and their Applications, III. Category Theory, Homology Theory and their Applications, III, Lecture Notes in Mathematics, 99 (1969), Springer: Springer Berlin), 384-418 · Zbl 0227.18004
[28] MacLane, S., (Natural associativity and commutativity, 49 (1963), Rice University Studies), 28-46 · Zbl 0244.18008
[29] MacLane, S., Categorial algebra, Bull. Amer. Math. Soc., 71, 40-106 (1965) · Zbl 0161.01601
[30] MacLane, S., Categories for the Working Mathematician (1971), Springer: Springer Berlin
[31] May, J. P., Infinite loop space theory, Bull. Amer. Math. Soc., 83, 4, 456-494 (1977) · Zbl 0357.55016
[32] Street, R., Fibrations in bicategories, Cahiers Topologie Géom. Différentielle, 21, 111-160 (1980) · Zbl 0436.18005
[33] Sweedler, M. E., Hopf Algebras (1969), Benjamin: Benjamin New York · Zbl 0194.32901
[34] Voreadou, R., Coherence and non-commutative diagrams in closed categories, Mem. Amer. Math. Soc., 9, 1 (1977) · Zbl 0347.18008
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.