Directional derivatives and higher order chain rules for abelian functor calculus

DOI10.1016/J.TOPOL.2017.12.010zbMATH Open1435.18005arXiv1610.01930OpenAlexW2962777028MaRDI QIDQ684012FDOQ684012

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

Publication date: 9 February 2018

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

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.

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

zbMATH Keywords

chain rulefunctor calculus[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Fa%EF%BF%BD%EF%BF%BD+di+Bruno+formula&go=Go Fa�� di Bruno formula]abelian categoriesCartesian differential categories

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Simplicial homotopy theory
• Calculus. III: Taylor series
• On the groups \(H(\Pi,n)\). II
• Operads and chain rules for the calculus of functors
• Cross effects and calculus in an unbased setting
• A chain rule for Goodwillie derivatives of functors from spectra to spectra
• Title not available (Why is that?)
• Chain rules for higher derivatives
• Title not available (Why is that?)
• Title not available (Why is that?)
• A chain rule in the calculus of homotopy functors
• Differential structure, tangent structure, and SDG
• Category theory in context
• Unbased Calculus for Functors to Chain Complexes
• Taylor towers of symmetric and exterior powers
• Title not available (Why is that?)
• Linearization, Dold-Puppe stabilization, and Mac Lane’s 𝑄-construction
• Deriving calculus with cotriples

Cited In (7)

• Cartesian differential categories as skew enriched categories
• A simplicial foundation for differential and sector forms in tangent categories
• A first step toward higher order chain rules in abelian functor calculus
• Exponential functions in Cartesian differential categories
• Affine geometric spaces in tangent categories
• Linearizing Combinators
• A Tangent Category Alternative to the Fa\`a 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)