Cover Image

Complete equational theories for classical and quantum Gaussian relations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Booth, Robert I., Carette, Titouan, Comfort, Cole
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Category Theory Quantum Physics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Graphical Symplectic Algebra
by: Booth, Robert I., et al.
Published: (2024)

Denotational semantics for stabiliser quantum programs
by: Booth, Robert I., et al.
Published: (2025)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
by: Carette, TItouan, et al.
Published: (2022)

Supermaps on generalised theories
by: Wilson, Matt, et al.
Published: (2026)

Closing Bell: Boxing black box simulations in the resource theory of contextuality
by: Barbosa, Rui Soares, et al.
Published: (2021)

High schoolers excel at Oxford quantum course using pictorial mathematics
by: Coecke, Bob, et al.
Published: (2025)

A Profunctorial Semantics for Quantum Supermaps
by: Hefford, James, et al.
Published: (2024)

A BV-Category of Spacetime Interventions
by: Hefford, James, et al.
Published: (2025)

Higher-order circuits
by: Wilson, Matt
Published: (2026)

A Mathematical Framework for Transformations of Physical Processes
by: Wilson, Matt, et al.
Published: (2022)

Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi
by: Gao, Dichuan, et al.
Published: (2026)

One rig to control them all
by: Heunen, Chris, et al.
Published: (2025)

The Relational Quotient Completion
by: Dagnino, Francesco, et al.
Published: (2024)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

The Rezk Completion for Elementary Topoi
by: Wullaert, Kobe, et al.
Published: (2026)

Combinatory Completeness in Structured Multicategories
by: Kuzmin, Ivan, et al.
Published: (2025)

Homotopy type theory as a language for diagrams of $\infty$-logoses
by: Uemura, Taichi
Published: (2022)

Formalizing two-level type theory with cofibrant exo-nat
by: Uskuplu, Elif
Published: (2023)

Cauchy-completions and the rule of unique choice in relational doctrines
by: Dagnino, Francesco, et al.
Published: (2024)

The Category of Operator Spaces and Complete Contractions
by: Lindenhovius, Bert, et al.
Published: (2024)

Yet another cubical type theory, but via a semantic approach
by: Kapulkin, Chris, et al.
Published: (2025)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
by: Spadetto, Matteo
Published: (2023)

The decohered ZX-calculus
by: Carette, Titouan, et al.
Published: (2025)

Univalent Enriched Categories and the Enriched Rezk Completion
by: van der Weide, Niels
Published: (2024)

Proto-Quipper with Reversing and Control
by: Fu, Peng, et al.
Published: (2024)

Causal and Compositional Abstraction
by: Lorenz, Robin, et al.
Published: (2026)

Combining fixpoint and differentiation theory
by: Galal, Zeinab, et al.
Published: (2024)

Realization of relational presheaves
by: Chamoun, Yorgo, et al.
Published: (2025)

Semantics of multimodal adjoint type theory
by: Shulman, Michael
Published: (2023)

Delooping presented groups in homotopy type theory
by: Champin, Camil, et al.
Published: (2024)

A type theory for invertibility in weak $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2026)

Formalization of dependent type theory: The example of CaTT
by: Benjamin, Thibaut
Published: (2021)

Tensorial structure of the lifting doctrine in constructive domain theory
by: Sterling, Jonathan
Published: (2023)

The $\infty$-category of $\infty$-categories in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2026)

Monoidal weak omega-categories as models of a type theory
by: Benjamin, Thibaut
Published: (2021)

Globular weak $ω$-categories as models of a type theory
by: Benjamin, Thibaut, et al.
Published: (2021)

Between Markov and restriction: Two more monads on categories for relations
by: Cioffo, Cipriano Junior, et al.
Published: (2025)

Complete Diagrammatic Axiomatisations of Relative Entropy
by: Sarkis, Ralph, et al.
Published: (2026)

When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines
by: Bonchi, Filippo, et al.
Published: (2024)

Logical relations for call-by-push-value models, via internal fibrations in a 2-category
by: de Amorim, Pedro H. Azevedo, et al.
Published: (2025)