Cartesian differential Kleisli categories

DOI10.46298/ENTICS.12278MaRDI QIDQ6831466zbMATH OpenFDO

Authors Jean-Simon Pacaud Lemay

Publication date 2 April 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/ENTICS.12278

zbMATH Keywords

Cartesian differential categoriesCartesian differential monadsKleisli categories

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• A tangent category alternative to the Faà di Bruno construction
• An equational notion of lifting monad
• Cartesian difference categories
• Cartesian differential categories
• Cartesian differential categories as skew enriched categories
• Cartesian differential storage categories
• Categorical foundations of gradient-based learning
• Categorical models of the differential λ-calculus
• Categorical semantics of a simple differential programming language
• Change actions: models of generalised differentiation
• Constructing differential categories and deconstructing categories of games
• Differentiable causal computations via delayed trace
• Differential structure, tangent structure, and SDG
• Directional derivatives and higher order chain rules for abelian functor calculus
• scientific article; zbMATH DE number 1330443 (Why is no real title available?)
• scientific article; zbMATH DE number 7407795 (Why is no real title available?)
• scientific article; zbMATH DE number 7650830 (Why is no real title available?)
• scientific article; zbMATH DE number 7650831 (Why is no real title available?)
• scientific article; zbMATH DE number 7684599 (Why is no real title available?)
• Lifting results for categories of algebras
• Lifting theorems for Kleisli categories
• Notions of computation and monads
• Reverse derivative ascent: a categorical approach to learning Boolean circuits
• The differential lambda-calculus
• The formal theory of monads

Cited in

(3)

• Normed modules and the categorification of integrations, series expansions, and differentiations
• Combining fixpoint and differentiation theory
• Module-valued ordinary differential equations and structure of solution spaces

This page was built for publication: Cartesian differential Kleisli categories

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