Cartesian differential categories revisited

DOI10.1017/S0960129515000055zbMATH Open1375.18026arXiv1208.4070MaRDI QIDQ2973248FDOQ2973248

Authors: G. S. H. Cruttwell 

Publication date: 3 April 2017

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

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.

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

Recommendations

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (13)

• Cartesian differential categories as skew enriched categories
• Linearizing combinators
• The Faà di Bruno construction
• Kähler categories
• Differential algebras in codifferential categories
• Cartesian differential storage categories
• Categorical differentiation theory and Cauchy continuity
• A tangent category alternative to the Faà di Bruno construction
• Cartesian differential categories
• Jacobians and gradients for Cartesian differential categories
• Title not available (Why is that?)
• Differential categories
• Title not available (Why is that?)

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)