On categorical semantics of constructive logic and intuitionistic type theory:
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, Eric Oliver Paquette, Duško Pavlović, Classical and quantum structuralism [arXiv:0904.1997]
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 November 3, 2023 at 11:28:20. See the history of this page for a list of all contributions to it.