scientific article; zbMATH DE number 7804570

zbMath1530.18019arXiv2211.01835MaRDI QIDQ6153324

Jean-Simon Pacaud Lemay

Publication date: 13 February 2024

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The differential lambda-calculus
• Constructing differential categories and deconstructing categories of games
• Change actions: models of generalised differentiation
• Differential categories revisited
• What is a categorical model of the differential and the resource λ-calculi?
• Categorical Models for Simply Typed Resource Calculi
• Differential categories
• A Tangent Category Alternative to the Fa\`a di Bruno Construction
• Linearizing Combinators
• Categorical models of the differential λ-calculus
• Cartesian Differential Storage Categories
• Categorical foundations of gradient-based learning

This page was built for publication: