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

• scientific article; zbMATH DE number 3893388 (Why is no real title available?)
• 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
• Restriction categories III: colimits, partial limits and extensivity
• Restriction categories. I: Categories of partial maps
• Synthetic differential geometry
• The Faà di Bruno construction
• The differential lambda-calculus
• What is a categorical model of the differential and the resource \(\lambda \)-calculi?

Cited in

(14)

• Cartesian differential categories as skew enriched categories
• Linearizing combinators
• The Faà di Bruno construction
• Kähler categories
• Differential algebras in codifferential categories
• Categorical differentiation theory and Cauchy continuity
• Cartesian differential storage categories
• A tangent category alternative to the Faà di Bruno construction
• Cartesian differential categories
• Jacobians and gradients for Cartesian differential categories
• scientific article; zbMATH DE number 7407795 (Why is no real title available?)
• Differential categories
• scientific article; zbMATH DE number 7684599 (Why is no real title available?)
• Cartesian difference 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)