On involutive monoidal categories

Theory and Applications of Categories

Volumn 25, Issue , 2011, Pages 368-393

  Egger, J M ^a  

^a MACQUARIE UNIVERSITY   (Australia)

Author keywords

Balances; Braidings; Coherence theorems; Dagger pivotal categories; Involutive monoidal categories

Indexed keywords

EID: 80053047991     PISSN: 1201561X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (24)

1. [Bar95] Michael Barr. Nonsymmetric *-autonomous categories. Theoret. Comput. Sci., 139(1-2):115-130, 1995. doi:10.1016/0304-3975(94)00089-2.
2. [Bén64] Jean Bénabou. Algèbre élémentaire dans les catégories avec multiplication. C. R. Acad. Sci. Paris, 258:771-774, 1964.
3. [Bén67] Jean Bénabou. Introduction to bicategories. In Reports of the Midwest Category Seminar, pages 1-77. Springer, Berlin, 1967.
4. [BLR02] Richard F. Blute, François Lamarche, and Paul Ruet. Entropic Hopf algebras and models of non-commutative logic. Theory Appl. Categ., 10:No. 17, 424-460 (electronic), 2002.
5. [BM09] E. J. Beggs and S. Majid. Bar categories and star operations. Algebr. Represent. Theory, 12(2-5):103-152, 2009. doi:10.1007/s10468-009-9141-x.
6. [CS97a] J. R. B. Cockett and R. A. G. Seely. Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories. Theory Appl. Categ., 3:No. 5, 85-131 (electronic), 1997.
7. [CS97b] J. R. B. Cockett and R. A. G. Seely. Weakly distributive categories. J. Pure Appl. Algebra, 114(2):133-173, 1997.
8. [Egg10] J. M. Egger. The Frobenius relations meet linear distributivity. Theory Appl. Categ., 24:No. 2, 25-38, 2010. http://www.tac.mta.ca/tac/volumes/24/2/24-02abs.html.
9. [EM11a] J.M. Egger and M.B. McCurdy. Cyclic linearly distributive categories, 2011. To appear.
10. [EM11b] J.M. Egger and M.B. McCurdy. On cyclic star-autonomous categories, 2011. Accepted for publication in Journal of Pure and Applied Algebra.
11. [Gyl99] R. P. Gylys. Involutive and relational quantaloids. Liet. Mat. Rink., 39(4):475-492, 1999. doi:10.1007/BF02465588.
12. [Jac10] Bart Jacobs. Involutive categories and monoids, with a GNS-correspondence. 7th workshop on Quantum Physics and Logic (QPL 2010), 2010. http://www.cs.ru.nl/B.Jacobs/PAPERS/invcatmon-qpl10.pdf.
13. [JS91] André Joyal and Ross Street. The geometry of tensor calculus. I. Adv. Math., 88(1):55-112, 1991. doi:10.1016/0001-8708(91)90003-P.
14. [JS93] André Joyal and Ross Street. Braided tensor categories. Adv. Math., 102(1):20-78, 1993. doi:10.1006/aima.1993.1055.
15. [KPRR03] David Kruml, Joan Wick Pelletier, Pedro Resende, and Jivŕk Rosický. On quantales and spectra of C-algebras. Appl. Categ. Structures, 11(6):543-560, 2003. doi:10.1023/A:1026106305210.
16. [KR81] Stefano Kasangian and Fabio Rossi. Some remarks on symmetry for a monoidal category. Bull. Austral. Math. Soc., 23(2):209-214, 1981. doi:10.1017/S0004972700007061.
17. [Law69] F. William Lawvere. Ordinal sums and equational doctrines. In Sem. on Triples and Categorical Homology Theory (ETH, Zürich, 1966/67), pages 141-155. Springer, Berlin, 1969.
18. [ML63] Saunders Mac Lane. Natural associativity and commutativity. Rice Univ. Studies, 49(4):28-46, 1963.
19. [MP92] Christopher J. Mulvey and Joan Wick Pelletier. A quantisation of the calculus of relations. In Category theory 1991 (Montreal, PQ, 1991), volume 13 of CMS Conf. Proc., pages 345-360. Amer. Math. Soc., Providence, RI, 1992.
20. [MP02] Christopher J. Mulvey and JoanWick Pelletier. On the quantisation of spaces. J. Pure Appl. Algebra, 175(1-3):289-325, 2002. Special volume celebrating the 70th birthday of Professor Max Kelly. doi:10.1016/S0022-4049(02)00139-1.
21. [Pas99] J. Paseka. Hilbert Q-modules and nuclear ideals in the category of W-semilattices with a duality. In CTCS '99: Conference on Category Theory and Computer Science (Edinburgh), volume 29 of Electron. Notes Theor. Comput. Sci., pages Paper No. 29019, 19 pp. (electronic). Elsevier, Amsterdam, 1999.
22. [Sel08] Peter Selinger. Re: Set as a monoidal category. Posting on categories mailing list, 14 August 2008. http://permalink.gmane.org/gmane.science.mathematics.categories/4477.
23. [Sel09] Peter Selinger. A survey of graphical languages for monoidal categories, 2009. http://arXiv.org/abs/0908.3347.
24. [Sel10] Peter Selinger. Autonomous categories in which A = A (extended ab-stract). 7th workshop on Quantum Physics and Logic (QPL 2010), 2010. http://www.mscs.dal.ca/~selinger/papers/halftwist.pdf.