Goodwillie calculus – approximation of homotopy theories by stable homotopy theories
In the context of Goodwillie calculus, an (∞,1)-category is called Goodwillie-differentiable if (∞,1)-functors to it admit “derivatives” in the form of n-excisive approximations.
(This concept is not related to that of smooth ∞-groupoids.)
An (∞,1)-category is Goodwillie-differentiable if
it has finite (∞,1)-limits;
it has sequential (∞,1)-colimits;
the (∞,1)-colimit (∞,1)-functor is a left exact (∞,1)-functor, hence commutes with finite (∞,1)-limits.
Every (∞,1)-topos is a Goodwillie-differentiable -category.
By Goodwillie calculus, (∞,1)-functors to Goodwillie-differentiable -categories have n-excisive approximations/Taylor towers.
Last revised on December 10, 2020 at 17:11:43. See the history of this page for a list of all contributions to it.