Limits in dagger categories

Theory and Applications of Categories

Volumn 34, Issue , 2019, Pages 468-513

  Heunen, Chris ^a   Karvonen, Martti ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Adjoint functors; Dagger category; Limit

Indexed keywords

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

References (29)

1. S. Abramsky and A. Jung. Domain theory. Handbook of logic in computer science, 3:1–168, 1994.
2. G. Bachman and L. Narici. Functional Analysis. Dover Books on Mathematics. Dover Publications, 2012.
3. J. C. Baez. The structural foundations of quantum gravity, chapter Quantum quandaries: a category-theoretic perspective, pages 240–266. Oxford University Press, 2006.
4. H.-B. Brinkmann. Relations for exact categories. Journal of Algebra, 13:465–480, 1969.
5. P. Busch, P. J. Lahti, J. Pellonpää, and K. Ylinen. Quantum measurement, volume 890. Springer, 2016.
6. A. Carboni and R. F. C. Walters. Cartesian bicategories I. Journal of Pure and Applied Algebra, 49(1–2):11–32, 1987.
7. J. R. B. Cockett and S. Lack. Restriction categories I: categories of partial maps. Theoretical Computer Science, 270:223–259, 2002.
8. J. M. Egger. On involutive monoidal categories. Theory and Applications of Categories, 25(14):368–393, 2011.
9. P. J. Freyd and A. Scedrov. Categories, Allegories. North-Holland, 1990.
10. P. Ghez, R. Lima, and J. E. Roberts. W*-categories. Pacific Journal of Mathematics, 120:79–109, 1985.
11. E. Haghverdi and P. Scott. A categorical model for the geometry of interaction. Theoretical Computer Science, pages 252–274, 2006.
12. P. Halmos. A Hilbert space problem book. Springer, second edition, 1982.
13. C. Heunen. Semimodule enrichment. In Mathematical Foundations of Programming Semantics, volume 218 of Electronic Notes in Theoretical Computer Science, pages 193–208, 2008.
14. C. Heunen. Categorical quantum models and logics. Amsterdam University Press, 2009.
15. 2. Computation, Logic, Games, and Quantum Foundations, pages 107–121, 2013.
16. C. Heunen and B. Jacobs. Quantum logic in dagger kernel categories. Order, 27(2):177–212, 2010.
17. C. Heunen and M. Karvonen. Monads on dagger categories. Theory and Applications of Categories, 31(35):1016–1043, 2016.
18. R. Kaarsgaard, H. B. Axelsen, and R. Glück. Join inverse categories and reversible recursion. Journal of Logical and Algebraic Methods in Programming, 87:33–50, 2017.
19. M. Karvonen. Biproducts without zero morphisms. arXiv:1801.06488, 2018.
20. M. Karvonen. The Way of the Dagger. PhD thesis, University of Edinburgh, 2019. arXiv:1904.10805.
21. J. Kastl. Inverse categories. Studien zur Algebra und ihre Anwendungen, 7:51–60, 1979.
22. M. V. Lawson. Inverse semigroups: the theory of partial symmetries. World Scientific, 1998.
23. S. Mac Lane. An algebra of additive relations. Proceedings of the National Academy of Sciences, 47:1043–1051, 1961.
24. B. Mitchell. Theory of categories. Academic Press, 1965.
25. D. Puppe. Korrespondenzen in abelschen Kategorien. Mathematische Annalen, 148:1–30, 1962.
26. P. Selinger. Dagger compact closed categories and completely positive maps. In Quantum Programming Languages, volume 170 of Electronice Notes in Theoretical Computer Science, pages 139–163, 2007.
27. P. Selinger. Idempotents in dagger categories. Electronic Notes in Theoretical Computer Science, 210:107–122, 2008.
28. Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. http://homotopytypetheory.org/book, Institute for Advanced Study, 2013.
29. J. Vicary. Completeness of †-categories and the complex numbers. Journal of Mathematical Physics, 52(8):082104, 2011.