Directional derivatives and higher order chain rules for abelian functor calculus

DOI10.1016/J.TOPOL.2017.12.010zbMATH Open1435.18005arXiv1610.01930OpenAlexW2962777028MaRDI 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)

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

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

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)

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
• Cartesian differential categories
• Linearization, Dold-Puppe stabilization, and Mac Lane’s 𝑄-construction
• Deriving calculus with cotriples

Cited In (9)

• Cartesian differential categories as skew enriched categories
• Linearizing combinators
• The Faà di Bruno construction
• A tangent category alternative to the Faà di Bruno construction
• 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
• Operads and chain rules for the calculus of functors

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)