Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Geometry and Topology,Algebra and Number Theory
Reference41 articles.
1. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Logic in Computer Science, IEEE, pp. 415–425 (2004)
2. Awodey, S.: Category Theory. Oxford Logic Guides, Oxford Univ. Press, Oxford (2006)
3. Barr, M.: Algebraically compact functors. J. Pure Appl. Algebra 82, 211–231 (1992)
4. Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Berlin. Revised and corrected version available from URL: www.cwru.edu/artsci/math/wells/pub/ttt.html (1985)
5. Borceux, F.: Handbook of Categorical Algebra. Encyclopedia of Mathematics 50, 51 and 52. Cambridge Univ. Press, Cambridge (1994)
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Axioms for the category of Hilbert spaces and linear contractions;Bulletin of the London Mathematical Society;2024-02-24
2. Moore-Penrose Dagger Categories;Electronic Proceedings in Theoretical Computer Science;2023-08-30
3. Quantum monadic algebras;Journal of Physics A: Mathematical and Theoretical;2022-09-16
4. A computer scientist’s reconstruction of quantum theory*;Journal of Physics A: Mathematical and Theoretical;2022-08-22
5. L-algebras and three main non-classical logics;Annals of Pure and Applied Logic;2022-07