Linearizing Combinators

zbMath1485.18014arXiv2010.15490MaRDI QIDQ5037747

Jean-Simon Pacaud Lemay, J. Robin B. Cockett

Publication date: 4 March 2022

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

zbMATH Keywords

Cartesian differential categoriesabelian functor calculuslinearizing combinators

Mathematics Subject Classification ID

Goodwillie calculus and functor calculus (18F50) Synthetic differential geometry, tangent categories, differential categories (18F40)

Related Items (2)

Monoidal reverse differential categories ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Directional derivatives and higher order chain rules for abelian functor calculus
• Skew-enriched categories
• Categorical logic and type theory
• Calculus. III: Taylor series
• Calculus. I: The first derivative of pseudoisotopy theory
• The differential lambda-calculus
• Differential structure, tangent structure, and SDG
• Differential restriction categories
• Closed categories vs. closed multicategories
• What is a categorical model of the differential and the resource λ-calculi?
• Cartesian differential categories revisited
• Categorical Models for Simply Typed Resource Calculi
• Differential categories
• Deriving calculus with cotriples
• A Tangent Category Alternative to the Fa\`a di Bruno Construction
• Categorical models of the differential λ-calculus
• Cartesian Differential Storage Categories

This page was built for publication: Linearizing Combinators