We study polynomial functors of degree 2, called quadratic, with values in the category of abelian groups $Ab$, and whose source category is an arbitrary category $\C$ with null object such that all objects are colimits of copies of a generating object $E$ which is small and regular projective; this includes all pointed algebraic varieties. More specifically, we are interested in such quadratic functors $F$ from $\C$ to $Ab$ which preserve filtered colimits and suitable coequalizers; one may take reflexive ones if $\C$ is Mal'cev and Barr exact. A functorial equivalence is established between such functors $F:\C\to Ab$ and certain minimal algebraic data which we call quadratic $\C$-modules: these involve the values on $E$ of the cross-effects of $F$ and certain structure maps generalizing the second Hopf invariant and the Whitehead product. Applying this general result to the case where $E$ is a cogroup these data take a particularly simple form. This application extends results of Baues and Pirashvili obtained for $\C$ being the category of groups or of modules over some ring; here quadratic $\C$-modules are equivalent with abelian square groups or quadratic $R$-modules, respectively.
A classification is provided of functors, in particular polynomial ones, from a category with a zero object in which every object is a finite sum of copies of a generating object, into an abelian category. This classification is extended to include functors from a category with sums and a zero object, carrying a small, regular projective generator.
In this paper we present background results in enriched category theory and enriched model category theory necessary for developing model categories of enriched functors suitable for doing functor calculus.
The goal of this paper is to prove an equivalence between the $(\infty,2)$-category of cartesian factorization systems of $\infty$-categories and that of pointed cartesian fibrations of $\infty$-categories. This generalizes a similar result known for ordinary categories and sheds some light on the interplay between these two seemingly distant concepts.
Adjoint functor theorems give necessary and sufficient conditions for a functor to admit an adjoint. In this paper we prove general adjoint functor theorems for functors between $\infty$-categories. One of our main results is an $\infty$-categorical generalization of Freyd's classical General Adjoint Functor Theorem. As an application of this result, we recover Lurie's adjoint functor theorems for presentable $\infty$-categories. We also discuss the comparison between adjunctions of $\infty$-categories and homotopy adjunctions, and give a treatment of Brown representability for $\infty$-catego…
For an abelian category, a category equivalent to its derived category is constructed by means of specific projective (injective) multicomplexes, the so-called homological resolutions.
Let C and D be quasi-categories (a.k.a. infinity-categories). Suppose also that one has an assignment sending commutative diagrams of C to commutative diagrams of D which respects face maps, but not necessarily degeneracy maps. (This is akin to having an assignment which respects all compositions, but may not send identity morphisms to identity morphisms.) When does this assignment give rise to an actual functor? We show that if the original assignment can be shown to respect identity morphisms up to homotopy, then there exists an honest functor of infinity-categories which respects the origin…
We prove general adjoint functor theorems for weakly (co)complete $n$-categories. This class of $n$-categories includes the homotopy $n$-categories of (co)complete $\infty$-categories, so these $n$-categories do not admit all small (co)limits in general. We also introduce Brown representability for (homotopy) $n$-categories and prove a Brown representability theorem for localizations of compactly generated $n$-categories. This class of $n$-categories includes the homotopy $n$-categories of presentable $\infty$-categories if $n \geq 2$, and the homotopy $n$-categories of presentable stable $\in…
We characterize simplicial localization functors among relative functors from relative categories to simplicial categories as any choice of homotopy inverse to the delocalization functor of Dwyer and the second author.
We study liftings of abelian model structures to categories of chain complexes and construct a realization functor from the derived category of a Grothendieck abelian category equipped with a cofibrantly generated, hereditary abelian model structure to the homotopy category of that model structure.
We prove two theorems about Goodwillie calculus and use those theorems to describe new models for Goodwillie derivatives of functors between pointed compactly-generated infinity-categories. The first theorem say that the construction of higher derivatives for spectrum-valued functors is a Day convolution of copies of the first derivative construction. The second theorem says that the derivatives of any functor can be realized as natural transformation objects for derivatives of spectrum-valued functors. Together these results allow us to construct an infinity-operad that models the derivatives…
Pirashvili's Dold-Kan type theorem for finite pointed sets follows from the identification in terms of surjections of the morphisms between the tensor powers of a functor playing the role of the augmentation ideal; these functors are projective. We give an unpointed analogue of this result: namely, we compute the morphisms between the tensor powers of the corresponding functor in the unpointed context. We also calculate the Ext groups between such objects, in particular showing that these functors are not projective; this is an important difference between the pointed and unpointed contexts. T…
We develop some aspects of the theory of derivators, pointed derivators, and stable derivators. As a main result, we show that the values of a stable derivator can be canonically endowed with the structure of a triangulated category. Moreover, the functors belonging to the stable derivator can be turned into exact functors with respect to these triangulated structures. Along the way, we give a simplification of the axioms of a pointed derivator and a reformulation of the base change axiom in terms of Grothendieck (op)fibration. Furthermore, we have a new proof that a combinatorial model catego…
We give a complete classification of pointed fusion categories over $\mathbb{C}$ of global dimension $p^3$ for $p$ any odd prime. We proceed to classify the equivalence classes of pointed fusion categories of dimension $p^3$ and we determine which of these equivalence classes have equivalent categories of modules.
In this paper we give a complete classification of pointed fusion categories over $\mathbb{C}$ of global dimension 8. We first classify the equivalence classes of pointed fusion categories of dimension 8, and then we proceed to determine which of these equivalence classes have equivalent categories of modules. This classificaction permits to classify the equivalence classes of braded tensor equivalences of twisted Drinfeld doubles of finite groups of order 8.
If $D$ is a Reedy category and $M$ is a model category, the category $M^{D}$ of $D$-diagrams in $M$ is a model category under the Reedy model category structure. If $C \to D$ is a Reedy functor between Reedy categories, then there is an induced functor of diagram categories $M^{D} \to M^{C}$. Our main result is a characterization of the Reedy functors $C \to D$ that induce right or left Quillen functors $M^{D} \to M^{C}$ for every model category $M$. We apply these results to various situations, and in particular show that certain important subdiagrams of a fibrant multicosimplicial object are…
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 be performed. We introduce secondary chain complexes and secondary resolutions leading to the concept of secondary derived functors. As a main result we show that the E_3-term of the Adams spectral sequence can be expressed as a secondary derived functor. This result can be used to compute the E_3-term explicitly by an algorithm.
This is a continuation, completion, and generalization of our previous joint work with B. Chorny. We supply model structures and Quillen equivalences underlying Goodwillie's constructions on the homotopy level for functors between simplicial model categories satisfying mild hypotheses.
A pointed fusion category is a rigid tensor category with finitely many isomorphism classes of simple objects which moreover are invertible. Two tensor categories $C$ and $D$ are weakly Morita equivalent if there exists an indecomposable right module category $M$ over $C$ such that $Fun_C(M,M)$ and $D$ are tensor equivalent. We use the Lyndon-Hochschild-Serre spectral sequence associated to abelian group extensions to give necessary and sufficient conditions in terms of cohomology classes for two pointed fusion categories to be weakly Morita equivalent. This result may permit to classify the e…
Highest weight categories are described in terms of standard objects and recollements of abelian categories, working over an arbitrary commutative base ring. Then the highest weight structure for categories of strict polynomial functors is explained, using the theory of Schur and Weyl functors. A consequence is the well-known fact that Schur algebras are quasi-hereditary.
The category of small covariant functors from simplicial sets to simplicial sets supports the projective model structure. In this paper we construct various localizations of the projective model structure and also give a variant for functors from simplicial sets to spectra. We apply these model categories in the study of calculus of functors, namely for a classification of polynomial and homogeneous functors. In the $n$-homogeneous model structure, the $n$-th derivative is a Quillen functor to the category of spectra with $Σ_n$-action. After taking into account only finitary functors -- which …
We produce a highly structured way of associating a simplicial category to a model category which improves on work of Dwyer and Kan and answers a question of Hovey. We show that model categories satisfying a certain axiom are Quillen equivalent to simplicial model categories. A simplicial model category provides higher order structure such as composable mapping spaces and homotopy colimits. We also show that certain homotopy invariant functors can be replaced by weakly equivalent simplicial, or `continuous', functors. This is used to show that if a simplicial model category structure exists on…
We study linear Batalin-Vilkovisky (BV) quantization, which is a derived and shifted version of the Weyl quantization of symplectic vector spaces. Using a variety of homotopical machinery, we implement this construction as a symmetric monoidal functor of $\infty$-categories. We also show that this construction has a number of pleasant properties: It has a natural extension to derived algebraic geometry, it can be fed into the higher Morita category of $E_n$-algebras to produce a "higher BV quantization" functor, and when restricted to formal moduli problems, it behaves like a determinant. Alon…
