On monadic descent and the Beck-Chevalley condition:
and its role in categorical logic/proof theory:
On quantum measurement formulated in finite quantum mechanics in terms of dagger-compact categories in terms of Frobenius algebras and the quantum reader monad:
Bob Coecke, Duško Pavlović, Quantum measurements without sums, in Louis Kauffman, Samuel Lomonaco (eds.), Mathematics of Quantum Computation and Quantum Technology, Taylor & Francis (2008) 559-596 [arXiv:quant-ph/0608035, doi:10.1201/9781584889007]
Bob Coecke, Eric Paquette, Dusko Pavlovic, Classical and quantum structures (2008) [pdf, pdf]
Bob Coecke, Duško Pavlović, Jamie Vicary, A new description of orthogonal bases, Mathematical Structures in Computer Science 23 3 (2012) 555- 567 [arXiv:0810.0812, doi:10.1017/S0960129512000047]
On Functorial Semantics of Algebraic Theories generalized to relational theories:
Last revised on April 25, 2023 at 15:56:04. See the history of this page for a list of all contributions to it.