Monads on dagger categories

Theory and Applications of Categories

Volumn 31, Issue , 2016, Pages 1016-1043

  Heunen, Chris ^a   Karvonen, Martti ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Dagger category; Eilenberg Moore algebra; Frobenius monad; Kleisli algebra

Indexed keywords

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

References (32)

1. H. B. Axelsen and R. Kaarsgaard. Join inverse categories as models of reversible recursion. In Foundations of Software Science and Computation Structures, 2016.
2. W. J. Bowman, R. P. James, and A. Sabry. Dagger traced symmetric monoidal categories and reversible programming. Reversible Computation, 2011
3. D. Bulacu and B. Torrecillas. On Frobenius and separable algebra extensions in monoidal categories: applications to wreaths. Journal of Noncommutative Geometry, 9:707-774, 2015.
4. B. Coecke and D. Pavlovic. Quantum measurements without sums. In G. Chen, L. Kauffman, and S. J. Lomonaco, editors, The mathematics of quantum computation and technology, pages 559-596. Taylor and Francis, 2008.
5. B. Day. On closed category of functors II. In Sydney Category Theory Seminar, number 420 in Lecture Notes in Mathematics, pages 20-54, 1974.
6. A. de Vos and S. de Baerdemacker. Matrix calculus for classical and quantum circuits. ACM Journal on Emerging Technologies in Computing Systems, 11(2):9, 2014.
7. A. S. Green, P. LeFanu Lumsdaine, N. J. Ross, P. Selinger, and B. Valiron. A scalable quantum programming language. ACM SIGPLAN Notices, 48(6):333-342, 2013.
8. T. Heinosaari and M. Ziman. The mathematical language of quantum theory. Cambridge University Press, 2012.
9. C. Heunen. Categorical quantum models and logics. Amsterdam University Press, 2009.
10. C. Heunen. An embedding theorem for Hilbert categories. Theory and Applications of Categories, 22(13):321-344, 2009.
11. C. Heunen, I. Contreras, and A. Cattaneo. Relative Frobenius algebras are groupoids. Journal of Pure and Applied Algebra, 217:114-124, 2013.
12. C. Heunen and B. Jacobs. Quantum logic in dagger kernel categories. Order, 27(2):177-212, 2010.
13. C. Heunen and M. Karvonen. Reversible monadic computing. In Mathematical Foundations of Programming Semantics, volume 319 of Electronic Notes in Theoretical Computer Science, pages 217-237, 2015.
14. C. Heunen and S. Tull. Categories of relations as models of quantum theory. In International Workshop on Quantum Physics and Logic, volume 195 of Electronic Proceedings in Theoretical Computer Science, pages 247-261, 2015.
15. C. Heunen and J. Vicary. Categories for Quantum Theory: An Introduction. Oxford University Press, 2016.
16. B. P. F. Jacobs. Semantics of weakening and contraction. Annals of Pure and Applied Logic, 69(1):73-106, 1994.
17. B. P. F. Jacobs. Coalgebraic walks, in quantum and Turing computation. FoSSaCS, Lecture Notes in Computer Science, 6604:12-26, 2011.
18. B.P.F. Jacobs. Involutive categories and monoids, with a GNS-correspondence. Foundations of Physics, 42(7):874-895, 2012.
19. A. Kock. Strong functors and monoidal monads. Archiv der Mathematik, 23(1):113-120, 1972.
20. A. Lauda. Frobenius algebras and ambidextrous adjunctions. Theory and Applicatoins of Categories, 16(4):84-122, 2006.
21. S. Mac Lane. Categories for the Working Mathematician. Springer, 2nd edition, 1971.
22. D. Pavlovic. Geometry of abstraction in quantum computation. In Classical and Quantum Information Assurance Foundations and Practice, number 09311 in Dagstuhl Seminar Proceedings, 2010.
23. P. Selinger. Dagger compact closed categories and completely positive maps. In 3rd International Workshop on Quantum Programming Languages, volume 170 of Electronic Notes in Theoretical Computer Science, pages 139-163, 2007.
24. P. Selinger. A survey of graphical languages for monoidal categories. Number 813 in Lecture Notes in Physics, pages 289-356. Springer, 2009.
25. P. Selinger and B. Valiron. A lambda calculus for quantum computation with classical control. Mathematical Structures in Computer Science, 16(3):527-552, 2006.
26. R. Street. The formal theory of monads. Journal of Pure and Applied Algebra, 2(2):149-168, 1972.
27. R. Street. Frobenius monads and pseudomonoids. Journal of Mathematical Physics, 45(10):3930-3948, 2004.
28. Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. http://homotopytypetheory.org/book, Institute for Advanced Study, 2013.
29. J. Vicary. Categorical formulation of quantum algebras. Communications in Mathematical Physics, 304(3):765-796, 2011.
30. J. Vicary. Completeness of †-categories and the complex numbers. Journal of Mathematical Physics, 52(8):082104, 2011.
31. C. E. Watts. Intrinsic charcterizations of some additive functors. Proceedings of the American Mathematical Society, 11(1):5-8, 1960.
32. H. Wolff. Monads and monoids on symmetric monoidal closed categories. Archiv der Mathematik, 24(1):113-120, 1973.