Monoidal reverse differential categories

DOI10.1017/S096012952200038XMaRDI QIDQ5889303zbMATH OpenFDO

Authors Geoff Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Dorette Pronk

Publication date 19 April 2023

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2203.12478

zbMATH Keywords

differential categoriesmonoidal reverse differential categoriesreverse differential categories

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• scientific article; zbMATH DE number 7204432
• Differential categories revisited
• scientific article; zbMATH DE number 7650831
• Categorical semantics of a simple differential programming language
• Cartesian differential storage categories
• Differential categories
• Cartesian difference categories
• scientific article; zbMATH DE number 7407795
• Cartesian integral categories and contextual integral categories
• Integral categories and calculus categories

Cites work

• A categorical framework for the quantum harmonic oscillator
• A diagrammatic axiomatisation for qubit entanglement
• Applying quantitative semantics to higher-order quantum computing
• Cartesian differential categories
• Cartesian differential categories as skew enriched categories
• Cartesian differential storage categories
• Cartesian integral categories and contextual integral categories
• Categorical logic and type theory
• Categories for Quantum Theory
• Convenient antiderivatives for differential linear categories
• Differential categories
• Differential categories revisited
• Differential structure, tangent structure, and SDG
• Finite products are biproducts in a compact closed category
• Framed bicategories and monoidal fibrations
• Glueing and orthogonality for models of linear logic
• scientific article; zbMATH DE number 1497810 (Why is no real title available?)
• scientific article; zbMATH DE number 7471668 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 7650831 (Why is no real title available?)
• Hypergraph categories
• Integral and differential structure on the free C^-ring modality
• Interacting Quantum Observables
• Linearizing combinators
• Monoidal Grothendieck construction
• On a fully abstract model for a quantum linear functional language (extended abstract)
• Quantitative semantics of the lambda calculus. Some generalisations of the relational model
• Weighted relational models of typed lambda-calculi

Cited in

(7)

• Change actions: models of generalised differentiation
• Reverse derivative ascent: a categorical approach to learning Boolean circuits
• Categorical semantics of a simple differential programming language
• Categories of Differentiable Polynomial Circuits for Machine Learning
• Monoidal Reverse Differential Categories
• Differentiable causal computations via delayed trace
• Reverse tangent categories

Describes a project that uses

Uses Software

• CHAD

This page was built for publication: Monoidal reverse differential categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5889303)