Cartesian differential categories revisited

DOI10.1017/S0960129515000055zbMath1375.18026arXiv1208.4070MaRDI QIDQ2973248

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)

Related Items (3)

Linearizing Combinators ⋮ A Tangent Category Alternative to the Fa\`a di Bruno Construction ⋮ Unnamed Item

Cites Work

• Categories of partial maps
• The differential lambda-calculus
• Constructing differential categories and deconstructing categories of games
• Differential structure, tangent structure, and SDG
• Differential restriction categories
• What is a categorical model of the differential and the resource λ-calculi?
• Differential categories
• Restriction categories III: colimits, partial limits and extensivity
• Restriction categories. I: Categories of partial maps
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Cartesian differential categories revisited