Linearizing Combinators
Published in Theory and applications of categories • Jan 1, 2022
Authors:,
Robin Cockett
Jean-Simon Pacaud Lemay
Abstract
In 2017, Bauer, Johnson, Osborne, Riehl, and Tebbe (BJORT) showed that the abelian functor calculus provides an example of a Cartesian differential category.The definition of a Cartesian differential category is based on a differential combinator which directly formalizes the total derivative from m...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!