We prove that an enriched $\infty$-category is completely determined by its enriched presheaf category together with a `marking' by the representable presheaves. More precisely, for any presentably monoidal $\infty$-category $\mathcal{V}$ we construct an equivalence between the category of $\mathcal{V}$-enriched $\infty$-categories and a certain full sub-category of the category of presentable $\mathcal{V}$-module categories equipped with a functor from an $\infty$-groupoid. This effectively allows us to reduce many aspects of enriched $\infty$-category theory to the theory of presentable $\infty$-categories.
As applications, we use Lurie's tensor product of presentable $\infty$-categories to construct a tensor product of enriched $\infty$-categories with many desirable properties -- including compatibility with colimits and appropriate monoidality of presheaf functors -- and compare it to existing tensor products in the literature. We also re-examine and provide a model-independent reformulation of the notion of univalence (or Rezk-completeness) for enriched $\infty$-categories.
Our comparison result relies on a monadicity theorem for presentable module categories which may be of independent interest.
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.
We prove a rectification theorem for enriched infinity-categories: If V is a nice monoidal model category, we show that the homotopy theory of infinity-categories enriched in V is equivalent to the familiar homotopy theory of categories strictly enriched in V. It follows, for example, that infinity-categories enriched in spectra or chain complexes are equivalent to spectral categories and dg-categories. A similar method gives a comparison result for enriched Segal categories, which implies that the homotopy theories of n-categories and (infinity,n)-categories defined by iterated infinity-categ…
It is proved that the projective model structure of the category of topologically enriched diagrams of topological spaces over a topologically enriched locally contractible small category is Quillen equivalent to the standard Quillen model structure of topological spaces. We give a geometric interpretation of this fact in directed homotopy.
We develop a homotopy theory of categories enriched in a monoidal model category V. In particular, we deal with homotopy weighted limits and colimits, and homotopy local presentability. The main result, which was known for simplicially-enriched categories, links homotopy locally presentable V-categories with combinatorial model V-categories, in the case where has all objects of V are cofibrant.
In the enriched setting, the notions of injective and projective model structures on a category of enriched diagrams also make sense. In this paper, we prove the existence of these model structures on enriched diagram categories under local presentability, accessibility, and "acyclicity" conditions, using the methods of lifting model structures from an adjunction introduced by Garner, Hess, Kedziorek, Riehl, and Shipley.
We introduce a notion of bimodule in the setting of enriched $\infty$-categories, and use this to construct a double $\infty$-category of enriched $\infty$-categories where the two kinds of 1-morphisms are functors and bimodules. We then consider a natural definition of natural transformations in this context, and show that in the underlying $(\infty,2)$-category of enriched $\infty$-categories with functors as 1-morphisms the 2-morphisms are given by natural transformations.
We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given monoidal model category. This yields a unified treatment for the known model structures on simplicial, topological, dg- and spectral categories. Our proof is mainly based on a fundamental property of cofibrant enriched categories on two objects, stated below as the Interval Cofibrancy Theorem.
We decribe the correspondence between normalised $ω$-operads and certain lax monoidal structures on the category of globular sets. As with ordinary monoidal categories, one has a notion of category enriched in a lax monoidal category. Within the aforementioned correspondence, we provide also an equivalence between the algebras of a given normalised $ω$-operad, and categories enriched in globular sets for the induced lax monoidal structure.
Cofibration categories are a formalization of homotopy theory useful for dealing with homotopy colimits that exist on the level of models as colimits of cofibrant diagrams. In this paper, we deal with their enriched version. Our main result claims that the category $[\mathcal{C},\mathcal{M}]$ of enriched diagrams equipped with the projective structure inherits a structure of a cofibration category whenever $\mathcal{C}$ is locally cofibrant (or, more generally, locally flat).
I verify the existence of left Bousfield localizations and of enriched left Bousfield localizations, and I prove a collection of useful technical results characterizing certain fibrations of (enriched) left Bousfield localizations. I also use such Bousfield localizations to construct a number of new model categories, including models for the homotopy limit of right Quillen presheaves, for Postnikov towers in model categories, and for presheaves valued in a symmetric monoidal model category satisfying a homotopy-coherent descent condition.
The invertibility hypothesis for a monoidal model category S asks that localizing an S-enriched category with respect to an equivalence results in an weakly equivalent enriched category. This is the most technical among the axioms for S to be an excellent model category in the sense of Lurie, who showed that the category of S-enriched categories then has a model structure with characterizable fibrant objects. We use a universal property of cubical sets, as a monoidal model category, to show that the invertibility hypothesis is consequence of the other axioms.
We consider a theory of centers and homotopy centers of monoids in monoidal categories which themselves are enriched in duoidal categories. Duoidal categories (introduced by Aguillar and Mahajan under the name 2-monoidal categories) are categories with two monoidal structures which are related by some, not necessary invertible, coherence morphisms. Centers of monoids in this sense include many examples which are not `classical.' In particular, the 2-category of categories is an example of a center in our sense. Examples of homotopy center (analogue of the classical Hochschild complex) include …
We define the notion of an enriched Reedy category, and show that if A is a C-Reedy category for some symmetric monoidal model category C and M is a C-model category, the category of C-functors and C-natural transformations from A to M is again a model category.
We set up a general theory of weak or homotopy-coherent enrichment in an arbitrary monoidal $\infty$-category $\mathcal{V}$. Our theory of enriched $\infty$-categories has many desirable properties; for instance, if the enriching $\infty$-category $\mathcal{V}$ is presentably symmetric monoidal then $\mathrm{Cat}^\mathcal{V}_\infty$ is as well. These features render the theory useful even when an $\infty$-category of enriched $\infty$-categories comes from a model category (as is often the case in examples of interest, e.g. dg-categories, spectral categories, and $(\infty,n)$-categories). This…
This is the first of a series of papers on enriched infinity categories, seeking to reduce enriched higher category theory to the higher algebra of presentable infinity categories, which is better understood and can be approached via universal properties. In this paper, we introduce enriched presheaves on an enriched infinity category. We prove analogues of most familiar properties of presheaves. For example, we compute limits and colimits of presheaves, prove that all presheaves are colimits of representable presheaves, and prove a version of the Yoneda lemma.
This thesis is devoted to the proof of a theorem showing the existence of a closed model category structure for weakly enriched categories. It requires first of all the definitions of weakly enriched categories and equivalences of weakly enriched categories such that these definitions recover some existing notions of higher order weak categories, for example Segal categories, Tamsamani n-categories and strict n-categories. In order to prove our theorem, we elaborate a theory of plans for cell addition following the approach of the small object argument a la Quillen. We conclude this work with …
In this work, we prove a generalization of Quillen's Theorem A to 2-categories equipped with a special set of morphisms which we think of as weak equivalences, providing sufficient conditions for a 2-functor to induce an equivalence on $(\infty,1)$-localizations. When restricted to 1-categories with all morphisms marked, our theorem retrieves the classical Theorem A of Quillen. We additionally state and provide evidence for a new conjecture: the cofinality conjecture, which describes the relation between a conjectural theory of marked $(\infty,2)$-colimits and our generalization of Theorem A.
We study the *homotopy theory* of $\infty$-categories enriched in the $\infty$-category $sS$ of simplicial spaces. That is, we consider $sS$-enriched $\infty$-categories as presentations of ordinary $\infty$-categories by means of a "local" geometric realization functor $Cat_{sS} \to Cat_\infty$, and we prove that their homotopy theory presents the $\infty$-category of $\infty$-categories, i.e. that this functor induces an equivalence $Cat_{sS} [[ W_{DK}^{-1} ]] \xrightarrow{\sim} Cat_\infty$ from a localization of the $\infty$-category of $sS$-enriched $\infty$-categories. Following Dwyer--Ka…
We prove that topological Hochschild homology (THH) arises from a presheaf of circles on a certain combinatorial category, which gives a universal construction of THH for any enriched infinity category. Our results rely crucially on an elementary, model-independent framework for enriched higher category theory, which may be of independent interest.
Coloured PROPs are a generalisation of coloured operads. In this article, we prove the existence of a Dwyer-Kan model structure on the category of small coloured PROPs enriched in a (sufficiently nice) monoidal model category V. This model structure extends the known Dwyer-Kan model structures on the categories of (small) V-enriched categories and V-enriched coloured operads.
Magnitude is a numerical invariant of enriched categories, including in particular metric spaces as $[0,\infty)$-enriched categories. We show that in many cases magnitude can be categorified to a homology theory for enriched categories, which we call magnitude homology (in fact, it is a special sort of Hochschild homology), whose graded Euler characteristic is the magnitude. Magnitude homology of metric spaces generalizes the Hepworth--Willerton magnitude homology of graphs, and detects geometric information such as convexity.
The goal of this article is to emphasize the role of cubical sets in enriched categories theory and infinity-categories theory. We show in particular that categories enriched in cubical sets provide a convenient way to describe many infinity-categories appearing in the context of homological algebra.
In his book on model categories, Hovey asked whether the 2-category $\mathbf{Mod}$ of model categories admits a "model 2-category structure" whose weak equivalences are the Quillen equivalences. We show that $\mathbf{Mod}$ does not have pullbacks and so cannot form a model 2-category. This lack of pullbacks can be traced to the two-out-of-three axiom on the weak equivalences of a model category. Accordingly, we define a premodel category to be a complete and cocomplete category equipped with two nested weak factorization systems. Combinatorial premodel categories form a complete and cocomplete…
We define the notion of an additive model category, and we prove that any additive, stable, combinatorial model category has a natural enrichment over symmetric spectra based on simplicial abelian groups. As a consequence, every object in such a model category has a naturally associated endomorphism ring inside this spectra category. We establish the basic properties of this enrichment. We also develop some enriched model category theory. In particular, we have a notion of an adjoint pair of functors being a 'module' over another such pair. Such things are called "adjoint modules". We develop …
Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our first goal in this paper is expository: we explain both approaches and a proof of their equivalence. Our second goal is to generalize this result to enriched categories and homotopy weighted limits, showing that the classical explicit constructions still give the right answer in the abstract sense. This result partially bridges the gap between classical homo…
One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we continue the work of [7] to adapt the machinery of globular operads [4] to this task. The resulting theory includes the Gray tensor product of 2-categories and the Crans tensor product [12] of Gray categories. Moreover much of the previous work on the globular approach to higher category theory is simplified by our new foundations, and we illustrate this by giving an expedited account of many aspects of Cheng's analysis [11] of Trimb…
We develop a theory of enriched categories over a (higher) category M equipped with a class W of morphisms called homotopy equivalences. We call them Segal M_W -categories. Our motivation was to generalize the notion of "up-to-homotopy monoids" in a monoidal category M, introduced by Leinster. The formalism adopted generalizes the classical Segal categories and extends the theory of enriched category over a bicategory. In particular we have a linear version of Segal categories which did not exist so far. Our goal in this paper is to present the theory and provide some examples. Applications ar…
This paper continues the development of a simplicial theory of weak omega-categories, by studying categories which are enriched in weak complicial sets. These complicial Gray-categories generalise both the Kan complex enriched categories of homotopy theory and the Gray-categories of weak 3-category theory. We derive a simplicial nerve construction, which is closely related to Cordier and Porter's homotopy coherent nerve, and show that this faithfully represents complicial Gray-categories as weak complicial sets. The category of weak complicial sets may itself be canonically enriched to a compl…
We collect in one place a variety of known and folklore results in enriched model category theory and add a few new twists. The central theme is a general procedure for constructing a Quillen adjunction, often a Quillen equivalence, between a given V-model category and a category of enriched presheaves in V, where V is any good enriching category. For example, we rederive the result of Schwede and Shipley that reasonable stable model categories are Quillen equivalent to presheaf categories of spectra (alias categories of module spectra) under more general hypotheses. The technical improvements…
We introduce a new type of weakly enriched categories over a given symmetric monoidal model category M; these are called Co-Segal categories. Their definition derives from the philosophy of classical (enriched) Segal categories. We study their homotopy theory by giving a model structure on them. One of the motivations of introducing these structure was to have an alternative definition of higher linear categories following Segal-like methods.
We observe that the Reedy model structure on a diagram category can be constructed by iterating an operation of "bigluing" model structures along a pair of functors and a natural transformation. This yields a new explanation of the definition of Reedy categories: they are almost exactly those small categories for which the category of diagrams and its model structure can be constructed by iterated bigluing. It also gives a consistent way to produce generalizations of Reedy categories, including the generalized Reedy categories of Cisinski and Berger-Moerdijk and the enriched Reedy categories o…
We define a notion of Koszul dual of a monoid object in a monoidal biclosed model category. Our construction generalizes the classic Yoneda algebra $Ext_A(k,k)$. We apply this general construction to define the Koszul dual of a category enriched over spectra or chain complexes. This example relies on the classical observation that enriched categories are monoid objects in a category of enriched graphs. We observe that the category of enriched graphs is biclosed, meaning that it comes with both left and right internal hom objects. Given a category $R$ (which plays the role of the ground field $…
We introduce, for \(\C\) a regular Cartesian Reedy category a model category whose fibrant objects are an analogue of quasicategories enriched in simplicial presheaves on \(C\). We then develop a coherent realization and nerve for this model structure and demonstrate using an enriched version of the necklaces of Dugger and Spivak that our model category is Quillen-equivalent to the category of categories enriched in simplicial presheaves on \(\C\). We then show that for any Cartesian-closed left-Bousfield localization of the category of simplicial presheaves on \(\C\), the coherent nerve and r…
We prove that four different ways of defining Cartesian fibrations and the Cartesian model structure are all Quillen equivalent: On marked simplicial sets, on bisimplicial spaces, on bisimplicial sets, on marked simplicial spaces. The main way to prove these equivalences is by using the Quillen equivalences between quasi-categories and complete Segal spaces as defined by Joyal-Tierney and the straightening construction due to Lurie.
Lyubashenko has described enriched 2-categories as categories enriched over V-Cat, the 2-category of categories enriched over a symmetric monoidal V. I have generalized this to the k-fold monoidal V. The symmetric case can easily be recovered. The introduction of this paper proposes a recursive definition of V-n-categories and their morphisms. Then I consider the special case of V-2-categories and give the details of the proof that with their morphisms these form the structure of a 3-category.
It is well-known that the category of small dg categories dgCat, though it is monoidal, does not form a monoidal model category. In this paper we construct a monoidal model structure on the category of pointed curved coalgebras ptdCoa* and show that the Quillen equivalence relating it to dgCat is monoidal. We also show that dgCat is a ptdCoa*-enriched model category. As a consequence, the homotopy category of dgCat is closed monoidal and is equivalent as a closed monoidal category to the homotopy category of ptdCoa*. In particular, this gives a conceptual construction of a derived internal hom…
We construct model category structures on various types of (marked) *-categories. These structures are used to present the infinity categories of (marked) *-categories obtained by inverting (marked) unitary equivalences. We use this presentation to explicitly calculate the \infty-categorical G-fixed points and G-orbits for G-equivariant (marked) *-categories.
We prove that various structures on model $\infty$-categories descend to corresponding structures on their localizations: (i) Quillen adjunctions; (ii) two-variable Quillen adjunctions; (iii) monoidal and symmetric monoidal model structures; and (iv) enriched model structures.
The theory of derivators provides a convenient abstract setting for computing with homotopy limits and colimits. In enriched homotopy theory, the analogues of homotopy (co)limits are weighted homotopy (co)limits. In this thesis, we develop a theory of derivators and, more generally, prederivators enriched over a monoidal derivator E. In parallel to the unenriched case, these E-prederivators provide a framework for studying the constructions of enriched homotopy theory, in particular weighted homotopy (co)limits. As a precursor to E-(pre)derivators, we study E-categories, which are categories e…
For the category $\mathscr V$ of complex algebraic varieties, the Grothendieck group of the commutative monoid of the isomorphism classes of correspondences $X \xleftarrow f M \xrightarrow g Y$ with proper morphism $f$ and smooth morphism $g$ (such a correspondence is called \emph{a proper-smooth correspondence}) gives rise to an enriched category $\mathscr Corr(\mathscr V)^+_{pro-sm}$ of proper-smooth correspondences. In this paper we extend the well-known theories of characteristic classes of singular varieties such as Baum-Fulton-MacPherson's Riemann-Roch (abbr. BFM-RR) and MacPherson's Che…
This brief note elaborates on a result by Gepner and Henriques. They have shown that a Dwyer-Kan equivalence between two small, topological categories gives rise to a Quillen equivalence of the associated categories of topologically enriched presheaves. We present a more detailed account of their proof.
