Related papers: Calculus III: Taylor Series
We develop a theory of Goodwillie calculus for functors between $G$-equivariant homotopy theories, where $G$ is a finite group. We construct $J$-excisive approximations of a homotopy functor for any finite $G$-set $J$. These fit together…
In this paper, we show that for reduced homotopy endofunctors of spaces, F, and for all $n \geq 1$ there are adjoint functors $R_n, L_n$ with $T_n F \simeq R_n F L_n$, where $P_n F$ is the $n$-excisive approximation to $F$, constructed by…
In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension…
We define a theory of Goodwillie calculus for enriched functors from finite pointed simplicial G-sets to symmetric G-spectra, where G is a finite group. We extend a notion of G-linearity suggested by Blumberg to define stably excisive and…
The Taylor tower of a functor from based spaces to spectra can be classified according to the action of a certain comonad on the collection of derivatives of the functor. We describe various equivalent conditions under which this action can…
We present an introduction to the manifold calculus of functors, due to Goodwillie and Weiss. Our perspective focuses on the role the derivatives of a functor F play in this theory, and the analogies with ordinary calculus. We survey the…
We associate to each unital $C^*$-algebra $A$ a geometric object---a diagram of topological spaces representing quotient spaces of the noncommutative space underlying $A$---meant to serve the role of a generalized Gel'fand spectrum. After…
In his "Algebraic K-theory of topological spaces II" Waldhausen proved that his functor A(X) splits: There is a canonical map from the stable homotopy of X which has a retraction up to weak equivalence. We adapt Waldhausen's proof to obtain…
In this paper, a new calculus on sequences is defined. Also, the $\lambda$-derivative and the $\lambda$-integration are investigated. The fundamental theorem of $\lambda$-calculus is included. A suitable function basis for the…
Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of ``additive groupoid enriched categories'', in which a secondary analog of homological algebra can…
We consider a possible framework to categorify the exponential map exp(-f) given the categorification of a generator f of $\frak{sl}_2$ by Lauda. In this setup the Taylor expansions of exp(-f) and exp(f) turn into complexes built out of…
In this paper three results are established: firstly, that the homotopy function complexes of Dwyer and Kan can be defined as certain total right derived functors; secondly, that they functorially compute the homotopy type of the hom-spaces…
Recently, the Johnson-McCarthy discrete calculus for homotopy functors was extended to include functors from an unbased simplicial model category to spectra. This paper completes the constructions needed to ensure that there exists a…
We review three examples of functors from Lorentzian categories and their applications in finiteness results, singularity theorems and boundary constructions. The third example is a novel functor from the category of ordered measure spaces…
A functor on compact Hausdorf spaces is constructed as the sum of certain equivariant K-theory groups. It is shown that the functor takes values in lambda-rings and satisfies a Thom isomorphism. In the case that the space is a CW-complex…
We study exponentiable functors in the context of synthetic $\infty$-categories. We do this within the framework of simplicial Homotopy Type Theory of Riehl and Shulman. Our main result characterizes exponentiable functors. In order to…
We give a construction of triangulated categories as quotients of exact categories where the subclass of objects sent to zero is defined by a triple of functors. This includes the cases of homotopy and stable module categories. These…
For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the…
We show that the category of $n$-excisive functors from the $\infty$-category of spectra to a target stable $\infty$-category $\mathbf{E}$ is equivalent to the category of $\mathbf{E}$-valued Mackey functors on an indexing category built…
We study a quantum version of the Kazhdan-Lusztig functor. Namely, we prove that there exists a fully faithfull exact tensor functor from the category of finite dimensional representations of the quantum affine algebra Uq(sl(n)) (with…