We may think of this operation as the analog of linearizing a space. Turning an (∞,1)-functor into a functor is not unlike performing a first order Taylor expansion of a function.
This is what Goodwillie calculus studies.
Let (where and are each either , the category of pointed topological spaces, or , the category of spectra) be a pointed homotopy functor. Associate with a sequence of spectra, called the derivatives of , denoted by , or, collectively, by . For each the spectrum has a natural action of the symmetric group . Thus, is a symmetric sequence of spectra.
The derivatives of contain substantial information about the homotopy type of . We can form a sequence of ‘approximations’ to together with natural transformations forming a Goodwillie-Taylor tower. This tower takes the form
with being the universal n-excisive approximation to . (A functor is n-excisive if it takes any -dimensional cube with homotopy pushout squares for faces to a homotopy cartesian cube.) For ‘analytic (∞,1)-functors’ , this tower converges for sufficiently highly connected , that is
The fibre of the map is an n-homogeneous functor in an appropriate sense, and is determined by , via the following formula. If takes values in then
If takes values in then one needs to prefix the right hand side with . (Arone & Ching)
based on a message by André Joyal to the Category Theory Mailing list, May 12, 2010
Write for the ring of formal power series in one variable over a field . The ring bears some resemblances with the category of pointed homotopy types (= pointed spaces up to weak homotopy equivalences). The category of pointed homotopy types is a ring (the product is the smash product and the sum is the wedge sum).
The following dictionary indicates what the correspondence between the two subjects is.
the category of pointed sets;
the category of pointed homotopy types;
the pointed circle;
the augmentation the connected components functor : pointed homotopy types pointed sets
the power of the augmentation ideal the subcategory of pointed -connected spaces;
multiplication by the suspension functor.
division by the loop space functor;
the ideal is isomorphic to via division by similarly, the category of pointed connected spaces is equivalent to the category of topological groups via the loop space functor (it is actually an Quillen equivalence of model categories).
More generally, the ideal is isomorphic to via division by . similarly, the category of -connected spaces is equivalent to the category of -fold topological groups (it is actually an Quillen equivalence of model categories) via the -fold loop space functor.
the quotient ring the category of -truncated homotopy types (=homotopy n-types)
The sequence of approximations of a formal power series
the Postnikov tower of a pointed homotopy type :
Here, is the set of connected components of , is the fundamental groupoid of , is the fundamental 2-groupoid of , etc.
The differences between and its successives approximations
the Whitehead tower of ,
Here, is the connected component of at the base point, is the universal cover of constructed by from paths starting at the base point, is the universal 2-cover of constructed from paths starting the base point, etc.
Division by is shifting down the coefficients of a power series.
If , then
Similarly, the loop space functor is shifting down the homotopy groups of a pointed space:
if then .
For example, if then , and if then .
From a blog discussion
Arone Kankaanrinta 95 write
The Goodwillie tower of the identity…is a tower of functors and natural transformations, which starts with stable homotopy and converges to unstable homotopy. (p. 1)
…the Goodwillie tower is an inverse to stable homotopy in the same way as logarithm is an inverse to exponential. (p. 1)
It is the point of this paper that the Goodwillie tower is the homotopy theoretic analog of logarithmic expansion, rather than of Taylor series. (p. 6)
What’s going on, they say, is like finding a function of the form which best approximates . This is when .
sends coproducts to products and is supposed to be like . (The “” comes about from issues to do with basepoints.)
A homogeneous linear functor is defined to be one sending coproducts to products, so it is like an exponential. Compared to an exponential, the identity functor is like a logarithm, so it has a non-trivial Taylor series.
…our point of view is that stable homotopy is analogous to the function rather than to a linear function, and the Goodwillie tower is an infinite product, rather than an infinite sum, namely it is analogous to the product
Gregory Arone in an MO answer
Covariant functors from the category of pointed sets to the category of pointed topological spaces are sometimes called -spaces, and they have been important in algebraic topology. One reason is that -spaces model infinite loop spaces (and therefore connective spectra) and are very helpful for understanding stable homotopy theory.
-spaces also serve as a model for particularly well-behaved covariant functors from the category of pointed topological spaces to itself. Of course, these functors play an important role in topology as well. I like to think of Goodwillie’s Calculus of Homotopy Functors (and also of Michael Weiss’s Orthogonal Calculus) as a kind of “sheaf theory for covariant functors”. In these theories, covariant functors are analogous to presheaves and linear functors are analogous to sheaves (The definition of a linear functor is essentially a homotopy-invariant version of the definition of a sheaf). The process of approximating a general functor by a linear one is analogous to sheafification, and so forth. These theories provide methods for studying certain types of functors, but of course they also tell you something about the category of spaces itself.
Eric Finster’s research statement
One tantalizing aspect of the Goodwillie calculus is that it suggests the possibility of thinking geometrically about the global structure of homotopy theory. In this interpretation, the category of spectra plays the role of the tangent space to the category of spaces at the one-point space. Moreover, the identity functor from spaces to spaces is not linear…and one can interpret this as saying that spaces have some kind of non-trivial curvature.
However, Goodwillie remarks in the report (p. 905) on a Oberwolfach meeting.:
Rhetorical question: If the first derivative of the identity is the identity matrix, why is the second derivative not zero? Answer: Some of the terminology of homotopy calculus works better for functors from spaces to spectra than for functors from spaces to spaces. Specifically, since “linearity” means taking pushout squares to pullback squares, the identity functor is not linear and the composition of two linear functors is not linear.
Attempted cryptic remark: Unlike the category of spectra, where pushouts are the same as pullbacks, the category of spaces may be thought of has having nonzero curvature.
Correction: After the talk Boekstedt asked about that remark. We discussed the matter at length and found more than one connection on the category of spaces, but none that was not flat. In fact curvature is the wrong thing to look for. There are in some sense exactly two tangent connections on the category of spaces (or should we say on any model category?). Both are flat and torsion-free. There is a map between them, so it is meaningful to subtract them. As is well-known in differential geometry, the difference between two connections is a 1-form with values in endomorphisms (whereas the curvature is a 2-form with values in endomorphisms). Thus there is a way of discussing the discrepancy between pushouts and pullbacks in the language of differential geometry, but it is a tensor field of a different type from what I had guessed.
This is from the report (p. 905) on a Oberwolfach meeting. The table on p. 900 also makes comparisons to differential geometry.
Any linear functor from spaces to spaces is a generalized cohomology theory. More precisely, there is a model category on the functors from spaces to spaces called the model category of W-spaces. Really I should be using pointed spaces here. This model category is one of the standard models for the category spectra and so the fibrant objects can be thought of as the (co)homology theories. The fibrant objects are precisely those functors which are linear in Goodwillie’s sense. The example corresponds to ordinary cohomology (well there is a issue, but let’s ignore that). In general evaluating the linear functor on a space gives you a space which should be thought of as the smash product of and .
So now why should spectra/cohomology theories be thought of as linear functors? Well if you think of spectra as analogous to abelian groups, then applying a spectrum to a space (i.e. smashing with it) is a linearization of that space.
Following this analogy, if we now have any old functor from space to spaces we can take its fibrant replacement in -spaces. This is a linear functor which is the best approximation to the original functor. So it is like taking a derivative of a function. Goodwillie’s insight was to extend this analogy to encompass the rudiments of calculus. There is in fact a whole series of model categories on functors from spaces to spaces where the fibrant objects are Goodwillie’s polynomial functors of degree .
See also Eric Finster’s blog post Thoughts on the Goodwillie Calculus
Surveys and introductions include
Nicholas J. Kuhn, Goodwillie towers and chromatic homotopy: an overview, Proceedings of the Nishida Fest (Kinosaki 2003), 245–279, Geom. Topol. Monogr., 10, Geom. Topol. Publ., Coventry, 2007.
Original articles include
Calculus. I. The first derivative of pseudoisotopy theory, K-Theory 4 (1990), no. 1, 1-27. MR 1076523 (92m:57027);
Calculus. II. Analytic functors, K-Theory 5 (1991/92), no. 4, 295-332. MR 1162445 (93i:55015);
This is now section 7 of
Luis Pereira, A general context for Goodwillie Calculus (arXiv:1301.2832)
Relation to chromatic homotopy theory is discussed in