Jacobians and gradients for Cartesian differential categories

MaRDI QIDQ6153324zbMATH OpenFDO

Authors Jean-Simon Pacaud Lemay

Publication date 13 February 2024

Full work available at URL https://arxiv.org/abs/2211.01835, https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2021.3

Mathematics Subject Classification ID

Synthetic differential geometry, tangent categories, differential categories (18F40)

Recommendations

• Linearizing combinators
• Cartesian difference categories
• Cartesian differential categories
• scientific article; zbMATH DE number 7407795
• Cartesian differential categories revisited

Cites work

• A convenient differential category
• A tangent category alternative to the Faà di Bruno construction
• Cartesian differential categories
• Cartesian differential storage categories
• Categorical foundations of gradient-based learning
• Categorical models for simply typed resource calculi
• Categorical models of the differential λ-calculus
• Change actions: models of generalised differentiation
• Constructing differential categories and deconstructing categories of games
• Differential categories
• Differential categories revisited
• scientific article; zbMATH DE number 1077733 (Why is no real title available?)
• scientific article; zbMATH DE number 7650831 (Why is no real title available?)
• Linearizing combinators
• Reverse derivative ascent: a categorical approach to learning Boolean circuits
• The differential lambda-calculus
• What is a categorical model of the differential and the resource \(\lambda \)-calculi?

Cited in

(1)

• An ultrametric for Cartesian differential categories for Taylor series convergence

This page was built for publication: Jacobians and gradients for Cartesian differential categories

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