×

Coherence for closed categories with biproducts. (English) Zbl 1442.18013

Summary: A coherence result for symmetric monoidal closed categories with biproducts is shown in this paper. It is also explained how to prove coherence for compact closed categories with biproducts and for dagger compact closed categories with dagger biproducts by using the same technique.

MSC:

18D15 Closed categories (closed monoidal and Cartesian closed categories, etc.)
18D20 Enriched categories (over closed or monoidal categories)
57Q20 Cobordism in PL-topology
57R56 Topological quantum field theories (aspects of differential topology)
03F07 Structure of proofs
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Abramsky, S.; Coecke, B., A categorical semantics of quantum protocols, (Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004 (2004), IEEE Computer Society Press), 415-425
[2] Abramsky, S.; Duncan, R., A categorical quantum logic, (Proceedings of the 2nd International Workshop on Quantum Programming Languages. Proceedings of the 2nd International Workshop on Quantum Programming Languages, TUCS General Publication, vol. 33 (2004), Turku Centre for Computer Science), 3-20
[3] Balteanu, C.; Fiedorowicz, Z.; Schwänzl, R.; Vogt, R., Iterated monoidal categories, Adv. Math., 176, 277-349 (2003) · Zbl 1030.18006
[4] Baralić, Dj.; Ivanović, J.; Petrić, Z., A simple permutoassociahedron, Discrete Math., 342, Article 111591 pp. (2019) · Zbl 1475.52018
[5] Baralić, Dj.; Curien, P-L.; Milićević, M.; Obradović, J.; Petrić, Z.; Zekić, M.; Živaljević, R. T., Proofs and surfaces, Ann. Pure Appl. Log., 171, Article 102845 pp. (2020) · Zbl 1452.03127
[6] Brauer, R., On algebras which are connected with semisimple continuous groups, Ann. Math., 38, 857-872 (1937) · JFM 63.0873.02
[7] Došen, K.; Kovijanić, Ž.; Petrić, Z., A new proof of the faithfulness of Brauer’s representation of Temperley-Lieb algebras, Int. J. Algebra Comput., 16, 959-968 (2006) · Zbl 1107.57009
[8] Došen, K.; Petrić, Z., Proof-Theoretical Coherence (2004), KCL Publications (College Publications): KCL Publications (College Publications) London, revised version available at: · Zbl 1153.03003
[9] Došen, K.; Petrić, Z., Symmetric self-adjunctions and matrices, Algebra Colloq., 19, Spec 1, 1051-1082 (2012) · Zbl 1294.18002
[10] Heunen, C., Categorical Quantum Models and Logics (2009), Pallas Publications—Amsterdam University Press
[11] Jones, V. F.R., A quotient of the affine Hecke algebra in the Brauer algebra, Enseign. Math. (2), 40, 313-344 (1994) · Zbl 0852.20035
[12] Kapranov, M., The permutoassociahedron, Mac Lane’s coherence theorem and asymptotic zones for the KZ equation, J. Pure Appl. Algebra, 85, 119-142 (1993) · Zbl 0812.18003
[13] Kelly, G. M., An abstract approach to coherence, (Kelly, G. M.; etal., Coherence in Categories. Coherence in Categories, Lecture Notes in Mathematics, vol. 281 (1972), Springer: Springer Berlin), 106-147 · Zbl 0243.18016
[14] Kelly, G. M.; Laplaza, M. L., Coherence for compact closed categories, J. Pure Appl. Algebra, 19, 193-213 (1980) · Zbl 0447.18005
[15] Kelly, G. M.; Mac Lane, S., Coherence in closed categories, J. Pure Appl. Algebra, 1, 97-140 (1971) · Zbl 0212.35001
[16] Kleene, S. C., Permutability of inferences in Gentzen’s calculi LK and LJ, (Kleene, S. C., Two Papers on the Predicate Calculus (1952), American Mathematical Society), 1-26 · Zbl 0047.25002
[17] Kock, J., Frobenius Algebras and 2D Topological Quantum Field Theories (2003), Cambridge University Press: Cambridge University Press Cambridge
[18] Lambek, J., Deductive systems and categories I: syntactic calculus and residuated categories, Math. Syst. Theory, 2, 287-318 (1968) · Zbl 0176.28901
[19] Mac Lane, S., Natural associativity and commutativity, Rice Univ. Stud., Papers Math., 49, 28-46 (1963) · Zbl 0244.18008
[20] Mac Lane, S., Categories for the Working Mathematician (1971), Springer: Springer Berlin, (expanded second edition, 1998) · Zbl 0232.18001
[21] Méhats, L.; Soloviev, S. V., Coherence in SMCCs and equivalences on derivations in IMLL with unit, Ann. Pure Appl. Log., 147, 127-179 (2007) · Zbl 1117.18005
[22] Petrić, Z.; Trimble, T., Symmetric bimonoidal intermuting categories and \(\omega \times \omega\) reduced bar constructions, Appl. Categ. Struct., 22, 467-499 (2014) · Zbl 1305.18025
[23] Selinger, P., Dagger compact closed categories and completely positive maps, (Quantum Programming Languages. Quantum Programming Languages, Electronic Notes in Theoretical Computer Science, vol. 170 (2007), Elsevier), 139-163 · Zbl 1277.18008
[24] Selinger, P., A survey of graphical languages for monoidal categories, (Coecke, B., New Structures for Physics. New Structures for Physics, Lecture Notes in Physics, vol. 813 (2009), Springer), 289-355 · Zbl 1217.18002
[25] Soloviev, S. V., On the conditions of full coherence in closed categories, J. Pure Appl. Algebra. (Slisenko, A. O.; Soloviev, S. V., Matematicheskie metody postroeniya i analiza algoritmov (1990), Nauka: Nauka Leningrad), 69, 163-189 (1990), Russian version · Zbl 0723.18008
[26] Soloviev, S. V., Proof of a conjecture of S. Mac Lane, Ann. Pure Appl. Log., 90, 101-162 (1997) · Zbl 0895.03028
[27] Stasheff, J. D., Homotopy associativity of H-spaces, I, II, Trans. Am. Math. Soc., 108, 275-292 (1963), 293-312 · Zbl 0114.39402
[28] Telebaković Onić, S., On the faithfulness of 1-dimensional topological quantum field theories, Glas. Mat. Ser. III, 55, 67-83 (2020) · Zbl 1508.57037
[29] Turaev, V. G., Quantum Invariants of Knots and 3-Manifolds (2010), De Gruyter: De Gruyter Berlin/New York · Zbl 1213.57002
[30] Voreadou, R., Coherence and Non-Commutative Diagrams in Closed Categories, Memoirs of the American Mathematical Society, vol. 182 (1977), American Mathematical Society: American Mathematical Society Providence · Zbl 0347.18008
[31] Wenzl, H., On the structure of Brauer’s centralizer algebras, Ann. Math., 128, 173-193 (1988) · Zbl 0656.20040
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.