Monoidal reverse differential categories
From MaRDI portal
Publication:5889303
DOI10.1017/S096012952200038XMaRDI QIDQ5889303
Jean-Simon Pacaud Lemay, Geoff Cruttwell, Jonathan Gallagher, Dorette Pronk
Publication date: 19 April 2023
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2203.12478
Uses Software
Cites Work
- Cartesian differential categories as skew enriched categories
- A categorical framework for the quantum harmonic oscillator
- Categorical logic and type theory
- Glueing and orthogonality for models of linear logic
- Hypergraph categories
- Differential structure, tangent structure, and SDG
- Cartesian integral categories and contextual integral categories
- Differential categories revisited
- Finite products are biproducts in a compact closed category
- On a Fully Abstract Model for a Quantum Linear Functional Language
- Monoidal Grothendieck construction
- Differential categories
- Interacting Quantum Observables
- Framed bicategories and monoidal fibrations
- A Diagrammatic Axiomatisation for Qubit Entanglement
- Integral and differential structure on the free $C^{\infty}$-ring modality
- Linearizing Combinators
- Convenient antiderivatives for differential linear categories
- Categories for Quantum Theory
- Cartesian Differential Storage Categories
- Weighted Relational Models of Typed Lambda-Calculi
- Applying quantitative semantics to higher-order quantum computing
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item