Directional derivatives and higher order chain rules for abelian functor calculus

DOI10.1016/J.TOPOL.2017.12.010zbMATH1435.18005OpenAlexW2962777028MaRDI QIDQ684012FDOQ684012

Authors Kristine Bauer, Brenda Johnson, Christina Osborne, Emily Riehl, Amelia Tebbe

Publication date 9 February 2018

Published in Topology and its Applications (Search for Journal in Brave)

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

zbMATH Keywords

chain rulefunctor calculusabelian categoriesCartesian differential categoriesFaà di Bruno formula

Mathematics Subject Classification ID

Chain complexes (category-theoretic aspects), dg categories (18G35) Eilenberg-Moore and Kleisli constructions for monads (18C20) Abelian categories, Grothendieck categories (18E10) Homotopy functors in algebraic topology (55P65) Differentiation theory (Gateaux, Fréchet, etc.) on manifolds (58C20)

Abstract: In this paper, we consider abelian functor calculus, the calculus of functors of abelian categories established by the second author and McCarthy. We carefully construct a category of abelian categories and suitably homotopically defined functors, and show that this category, equipped with the directional derivative, is a cartesian differential category in the sense of Blute, Cockett, and Seely. This provides an abstract framework that makes certain analogies between classical and functor calculus explicit. Inspired by Huang, Marcantognini, and Young's chain rule for higher order directional derivatives of functions, we define a higher order directional derivative for functors of abelian categories. We show that our higher order directional derivative is related to the iterated partial directional derivatives of the second author and McCarthy by a Fa`a di Bruno style formula. We obtain a higher order chain rule for our directional derivatives using a feature of the cartesian differential category structure, and with this provide a formulation for the $n$th layers of the Taylor tower of a composition of functors $FcircG$ in terms of the derivatives and directional derivatives of $F$ and $G$, reminiscent of similar formulations for functors of spaces or spectra by Arone and Ching. Throughout, we provide explicit chain homotopy equivalences that tighten previously established quasi-isomorphisms for properties of abelian functor calculus.

Recommendations

• Operads and chain rules for the calculus of functors
• Deriving calculus with cotriples
• A chain rule for Goodwillie derivatives of functors from spectra to spectra
• A chain rule in the calculus of homotopy functors
• Infinity‐operads and Day convolution in Goodwillie calculus

Cites work

• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 595200 (Why is no real title available?)
• scientific article; zbMATH DE number 1024330 (Why is no real title available?)
• scientific article; zbMATH DE number 1933201 (Why is no real title available?)
• scientific article; zbMATH DE number 2053195 (Why is no real title available?)
• A chain rule for Goodwillie derivatives of functors from spectra to spectra
• A chain rule in the calculus of homotopy functors
• Calculus. III: Taylor series
• Cartesian differential categories
• Category theory in context
• Chain rules for higher derivatives
• Cross effects and calculus in an unbased setting
• Deriving calculus with cotriples
• Differential structure, tangent structure, and SDG
• Linearization, Dold-Puppe stabilization, and Mac Lane’s 𝑄-construction
• On the groups \(H(\Pi,n)\). II
• Operads and chain rules for the calculus of functors
• Simplicial homotopy theory
• Taylor towers of symmetric and exterior powers
• Unbased Calculus for Functors to Chain Complexes

Cited in

(9)

• Affine geometric spaces in tangent categories
• Operads and chain rules for the calculus of functors
• The Faà di Bruno construction
• Exponential functions in Cartesian differential categories
• A simplicial foundation for differential and sector forms in tangent categories
• Linearizing combinators
• A first step toward higher order chain rules in abelian functor calculus
• Cartesian differential categories as skew enriched categories
• A tangent category alternative to the Faà di Bruno construction

This page was built for publication: Directional derivatives and higher order chain rules for abelian functor calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q684012)