Cartesian differential categories revisited

DOI10.1017/S0960129515000055MaRDI QIDQ2973248zbMATH OpenFDO

Authors G. S. H. Cruttwell

Publication date 3 April 2017

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

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

Mathematics Subject Classification ID

Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Abstract: We revisit the definition of Cartesian differential categories, showing that a slightly more general version is useful for a number of reasons. As one application, we show that these general differential categories are comonadic over Cartesian categories, so that every Cartesian category has an associated cofree differential category. We also work out the corresponding results when the categories involved have restriction structure, and show that these categories are closed under splitting restriction idempotents.

Recommendations

• Cartesian differential categories
• scientific article; zbMATH DE number 7684599
• Cartesian differential storage categories
• Differential restriction categories
• Differential categories

Cites work

• A convenient differential category
• Cartesian differential categories
• Categories of partial maps
• Constructing differential categories and deconstructing categories of games
• Differential categories
• Differential restriction categories
• Differential structure, tangent structure, and SDG
• scientific article; zbMATH DE number 3893388 (Why is no real title available?)
• Restriction categories III: colimits, partial limits and extensivity
• Restriction categories. I: Categories of partial maps
• Synthetic differential geometry
• The differential lambda-calculus
• The Faà di Bruno construction
• What is a categorical model of the differential and the resource \(\lambda \)-calculi?

Cited in

(16)

• Categorical differentiation theory and Cauchy continuity
• Differential algebras in codifferential categories
• Cartesian difference categories
• The Faà di Bruno construction
• Kähler categories
• Differential categories
• Cartesian differential categories
• A tangent category alternative to the Faà di Bruno construction
• Linearizing combinators
• scientific article; zbMATH DE number 7407795 (Why is no real title available?)
• Cartesian differential storage categories
• scientific article; zbMATH DE number 7684599 (Why is no real title available?)
• Jacobians and gradients for Cartesian differential categories
• Differentiable causal computations via delayed trace (extended version)
• From abelianization to tangent categories
• Cartesian differential categories as skew enriched categories

This page was built for publication: Cartesian differential categories revisited

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