The Category TOF
From MaRDI portal
Publication:3385627
zbMath1486.18024arXiv1804.10360MaRDI QIDQ3385627
Cole Comfort, J. Robin B. Cockett
Publication date: 20 December 2021
Full work available at URL: https://arxiv.org/abs/1804.10360
Quantum computation (81P68) Analytic circuit theory (94C05) Monoidal categories, symmetric monoidal categories (18M05)
Cites Work
- Unnamed Item
- Unnamed Item
- Conservative logic
- Algebraically compact functors
- Towards an algebraic theory of Boolean circuits.
- Join Inverse Categories as Models of Reversible Recursion
- An Introduction to Quantum Programming in Quipper
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
- The Classification of Reversible Bit Operations
- Restriction categories. I: Categories of partial maps