:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Booth, Robert I., Carette, Titouan, Comfort, Cole
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Category Theory Symplectic Geometry Quantum Physics
Online Access:	https://arxiv.org/abs/2401.07914
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Complete equational theories for classical and quantum Gaussian relations
by: Booth, Robert I., et al.
Published: (2024)

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

A proof of Kontsevich-Soibelman conjecture
by: Efimov, Alexander I.
Published: (2009)

Symplectic double groupoids and the generalized Kähler potential
by: Álvarez, Daniel, et al.
Published: (2024)

Unitalities and mapping spaces in $A_\infty$-categories
by: Tanaka, Hiro Lee
Published: (2024)

Foundations of $(A_\infty,2)$-categories: from flow to linear
by: Bottman, Nathaniel, et al.
Published: (2024)

Explicitly Computing with Fukaya Categories of Surfaces with Boundary
by: Grossack, Chris
Published: (2025)

The first step towards symplectic homotopy theory
by: Oganesyan, Vardan
Published: (2023)

Homological Mirror Symmetry Course at SIMIS: Introduction and Applications
by: Pasquarella, Veronica
Published: (2025)

Higher operad structure for Fukaya categories
by: Yuan, Hang
Published: (2026)

Localizations of the categories of $A_\infty$ categories and internal Homs over a ring
by: Canonaco, Alberto, et al.
Published: (2024)

Bialgebras, and Lie monoid actions in Morse and Floer theory, I
by: Cazassus, Guillem, et al.
Published: (2024)

Counting in Calabi--Yau categories, with applications to Hall algebras and knot polynomials
by: Gorsky, Mikhail, et al.
Published: (2024)

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

A Groupoid Approach to the Riemann Integral (and Path Integral Quantization of the Poisson Sigma Model)
by: Lackman, Joshua
Published: (2023)

Topological Dualities for Modal Algebras
by: Collinson, Matthew
Published: (2026)

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

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

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

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

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

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

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

Infinity-categorical universal properties of quotients and localizations of A-infinity-categories
by: Oh, Yong-Geun, et al.
Published: (2020)

Adjoints, wrapping, and morphisms at infinity
by: Kuwagaki, Tatsuki, et al.
Published: (2023)

Non-linear microlocal cut-off functors
by: Zhang, Bingyu
Published: (2024)

Almost mathematics, Persistence module, and Tamarkin category
by: Kuwagaki, Tatsuki, et al.
Published: (2025)

Diagrammatic Polyhedral Algebra
by: Bonchi, Filippo, et al.
Published: (2021)

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

Diagrammatic Algebra of First Order Logic
by: Bonchi, Filippo, et al.
Published: (2024)

Relative critical loci and quiver moduli
by: Bozec, Tristan, et al.
Published: (2020)

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
by: Lobbia, Gabriele, et al.
Published: (2024)

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

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

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

The Morse complex is an $\infty$-functor
by: Cazassus, Guillem
Published: (2025)

Representability in non-linear elliptic Fredholm analysis
by: Pardon, John
Published: (2023)

Uniform Preorders and Partial Combinatory Algebras
by: Frey, Jonas
Published: (2024)

An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models
by: Lorenzin, Antonio, et al.
Published: (2025)