Julia E. Bergner
In this paper we put a cofibrantly generated model category structure on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence of categories.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
The homotopy coherent nerve from simplicial categories to simplicial sets and its left adjoint C are important to the study of (infinity,1)-categories because they provide a means for comparing two models of their respective homotopy theories, giving a Quillen equivalence between the model structures for quasi-categories and simplicial categories. The functor C also gives a cofibrant replacement for ordinary categories, regarded as trivial simplicial categories. However, the hom-spaces of the simplicial category CX arising from a quasi-category X are not well understood. We show that when X is…
A general method for lifting weak factorization systems in a category S to model category structures on simplicial objects in S is described, analogously to the lifting of cotorsion pairs in Abelian categories to model category structures on chain complexes. This generalizes Quillen's original treatment of (projective) model category structures on simplicial objects. As a new application we show that there is always a model category structure on simplicial objects in the coproduct completion of any (even large) category S with finite limits, which - if S is small - defines the same homotopy th…
In this paper, we compare several functors which take simplicial categories or model categories to complete Segal spaces, which are particularly nice simplicial spaces which, like simplicial categories, can be considered to be models for homotopy theories. We then give a characterization, up to weak equivalence, of complete Segal spaces arising from these functors.
In this note we make a minor correction to the paper ``Simplicial monoids and Segal categories."
It is shown that the category of presheaves of simplicial groupoids and the category of presheaves of 2-groupoids have Quillen closed model structures. Furthermore, their homotopy categories are equivalent to the homotopy categories of simplicial presheaves and homotopy 2-types, respectively.
We prove the existence of a model structure on the category of stratified simplicial sets whose fibrant objects are precisely $n$-complicial sets, which are a proposed model for $(\infty,n)$-categories, based on previous work of Verity and Riehl. We then construct a Quillen equivalent model based on simplicial presheaves over a category that can facilitate the comparison with other established models.
In this paper we introduce a functor, called the simplicial nerve of an A-infinity category, defined on the category of (small) A-infinity categories with values in simplicial sets. We prove that the simplicial nerve of any A-infinity category is an infinity category. This construction extends functorially the nerve construction for differential graded categories proposed by J.Lurie in Higher Algebra. We prove that if a differential graded category is pretriangulated in the sense of A.I.Bondal-M.Kapranov, then its nerve is a stable infinity category in the sense of J.Lurie.
Much research has been done on structures equivalent to topological or simplicial groups. In this paper, we consider instead simplicial monoids. In particular, we show that the usual model category structure on the category of simplicial monoids is Quillen equivalent to an appropriate model category structure on the category of simplicial spaces with a single point in degree zero. In this second model structure, the fibrant objects are reduced Segal categories. We then generalize the proof to relate simplicial categories with a fixed object set to Segal categories with the same fixed set in de…
The category of simplicial R-coalgebras over a presheaf of commutative unital rings on a small Grothendieck site is endowed with a left proper, simplicial, cofibrantly generated model category structure where the weak equivalences are the local weak equivalences of the underlying simplicial presheaves. This model category is naturally linked to the R-local homotopy theory of simplicial presheaves and the homotopy theory of simplicial R-modules by Quillen adjunctions. We study the comparison with the R-local homotopy category of simplicial presheaves in the special case where R is a presheaf of…
In this work we propose a realization of Lurie's prediction that inner fibrations $p: X \rightarrow A$ are classified by $A$-indexed diagrams in a ``higher category" whose objects are $\infty$-categories, morphisms are correspondences between them and higher morphisms are higher correspondences. We will obtain this as a corollary of a more general result which classifies all simplicial maps between ordinary simplicial sets in a similar fashion. Correspondences between simplicial sets (and $\infty$-categories) are a generalization of the concept of profunctor (or bimodule) pertaining to categor…
We prove the existence of Morita model structures on the categories of small simplicial categories, simplicial sets, simplicial operads and dendroidal sets, modelling the Morita homotopy theory of $(\infty,1)$-categories and $\infty$-operads. We give a characterization of the weak equivalences in terms of simplicial presheaves, simplicial algebras and slice categories. In the case of the Morita model structure for simplicial categories and simplicial operads, we also show that each of these model structures can be obtained as an explicit left Bousfield localization of the Bergner model structu…
We consider four categories: the category of diagrams of small categories indexed by a given small category O, the (comma) category of small categories over O, the category of diagrams of simplicial sets indexed by O, and the category of simplicial sets over the nerve of O. Fritsch and Golasinski claimed that these four categories have equivalent homotopy categories but, in fact, their proof contains an error and the homotopy categories are not equivalent with the weak equivalences they use in the comma categories. We show here that the correct weak equivalences are the ``weak fibre homotopy e…
We show that any closed model category of simplicial algebras over an algebraic theory is Quillen equivalent to a proper closed model category. By ``simplicial algebra'' we mean any category of algebras over a simplicial algebraic theory, which is allowed to be multi-sorted. The results have applications to the construction of localization model category structures.
In this note we consider partial model categories, by which we mean relative categories that satisfy a weakened version of the model category axioms involving only the weak equivalences. More precisely, a partial model category will be a relative category that has the two out of six property and admits a 3-arrow calculus. We then show that Charles Rezk's result that the simplicial space obtained from a simplicial model category by taking a Reedy fibrant replacement of its simplicial nerve is a complete Segal space also holds for these partial model categories. We also note that conversely ever…
We put a model structure on the category of categories internal to simplicial sets whose weak equivalences are reflected by the nerve functor to bisimplicial sets with Rezk's model structure. This model structure is shown to be Quillen equivalent to Rezk's model structure, thus internal category are another model for $(\infty,1)$-categories.
Classification diagrams of simplicial categories
本文研究相对单纯范畴所诱导相对 ∞-范畴的分类图，证明其等价于逐层神经，并据此联系同伦一致神经及单纯范畴的逐层局部化。
This paper is part of a series of papers about homotopy theory of strict $n$-categories. In the first paper of this series, we gave conditions that guarantee the existence of a Thomason model category structure on the category of strict $n$-categories. The main goal of our paper is to show one of these conditions. To do so, we associate to any simplicial complex a strict $\infty$-category generated by a computad. We conjecture that this $\infty$-category has the same homotopy type as the corresponding simplicial complex and we prove this conjecture when the simplicial complex comes from a pose…
It is well known that the underlying simplicial set of any simplicial group is a Kan complex. Roughly speaking, Kan complex is an infinite-dimensional analogue of groupoid, and the relation between groupoids and categories resembles that between groups and monoids. Thus one may ask if the underlying simplicial set of each simplicial monoid is a quasi-category. In this short note, we construct a simplicial monoid whose underlying simplicial set is not a quasi-category.
In this paper we construct a cofibrantly generated model category structure on the category of all small symmetric multicategories enriched in simplicial sets.
The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. In this paper, the second in a series on "higher props," we show that the category of all small colored simplicial props admits a cofibrantly generated model category structure. With this model structure, the forgetful functor from props to operads is a right Quillen functor.
Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the "homotopy theory" of the model category. There is a model category structure on the category of simplicial categories, so taking its simplicial localization yields a "homotopy theory of homotopy theories." In this paper we show that there are two different categories of diagrams of simplicial sets, each equipped with an appropriate definition of weak equivalence, such that the resulting homotopy theories are each equivalent to …
Both simplicial sets and simplicial spaces are used pervasively in homotopy theory as presentations of spaces, where in both cases we extract the "underlying space" by taking geometric realization. We have a good handle on the category of simplicial sets in this capacity; this is due to the existence of a suitable model structure thereon, which is particularly convenient to work with since it enjoys the technical properties of being *proper* and of being *cofibrantly generated*. This paper is devoted to showing that, if one is willing to work $\infty$-categorically, then one can manipulate sim…
The aim of this paper is to prove a generalization of the famous Theorem A of Quillen for strict $\infty$-categories. This result is central to the homotopy theory of strict $\infty$-categories developed by the authors. The proof presented here is of a simplicial nature and uses Steiner's theory of augmented directed complexes. In a subsequent paper, we will prove the same result by purely $\infty$-categorical methods.
Admissible replacements for simplicial monoidal model categories
本文利用Dugger万有模型范畴构造，为单纯与组合对称幺半群模型范畴构造了具有更好operadic性质的替换，并证明稳定情形下当幺半群单位是紧生成元时，此类范畴可由交换环谱分类，且与唯一确定的交换环谱上的模强幺半群Quillen等价。
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 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 establish a Quillen equivalence relating the homotopy theory of Segal operads and the homotopy theory of simplicial operads, from which we deduce that the homotopy coherent nerve functor is a right Quillen equivalence from the model category of simplicial operads to the model category structure for infinity-operads on the category of dendroidal sets. By slicing over the monoidal unit, this also gives the Quillen equivalence between Segal categories and simplicial categories proved by J. Bergner, as well as the Quillen equivalence between quasi-categories and simplicial categories proved by …
We show how the model structure on the category of simplicially-enriched (colored) props induces a model structure on the category of simplicially-enriched (colored) properads. A similar result holds for dioperads.
In this article, we define two equivalent new model structures on $\mathbf{sCat}$ the category of simplicial objects in $\mathbf{Cat}$. Then we construct the corresponding stable model category of spectra $Sp(\mathbf{sCat})$ and make some links with the algebraic $K$-theory via the mapping space.
Simplicial sets in topology, category theory, and beyond
本文介绍单纯集合的概念，概述其从代数拓扑和范畴论的发展历程，为跨领域研究者提供实用知识，帮助其理解使用该概念的现代文献。
We address the (pointed) homotopy of crossed module morphisms in modified categories of interest; which generalizes the groups and various algebraic structures. We prove that, the homotopy relation gives rise to an equivalence relation; furthermore a groupoid structure, without any restriction on neither domain nor co-domain of the crossed module morphism. Additionally, we consider the particular cases such as associative algebras, Leibniz algebras, Lie algebras and dialgebras of crossed modules of this generalized homotopy definition. Then as the main part of the paper, we prove that the func…
We show that the category of presheaves of simplicial groupoids on a site $\mathcal{C}$ is a right proper simplicial model category. We define $G$-torsor of presheaf of 2-groupoids $G$, presheaf of simplicial groups $G$ and presheaf of simplicial groupoids $G$ on a site $\mathcal{C}$ and classify $G$-torsors by the homotopy classes $[\ast, \bar{W}G]$.
In this paper, we study the Lusternik-Schnirelmann category of a simplicial map between simplicial complexes, generalizing the simplicial category of a complex to that of a map. Several properties of this new invariant are shown, including its relevance to products and fibrations. We relate this category of a map to the classical Lusternik-Schnirelmann category of a map between finite topological spaces. Finally, we show how the simplicial category of a map may be used to define and study a simplicial version of the essential category weight of J. Strom.
In this note we show that a semisimplicial set with the weak Kan condition admits a simplicial structure, provided any object allows an idempotent self-equivalence. Moreover, any two choices of simplicial structures give rise to equivalent quasi-categories. The method is purely combinatorial and extends to semisimplicial objects in other categories; in particular to semi-simplicial spaces satisfying the Segal condition (semi-Segal spaces).
Theorem (after Giraud, SGA 4): Suppose $A$ is a simplicial category. The following conditions are equivalent: (i) There is a cofibrantly generated closed model category $M$ such that $A$ is equivalent to the Dwyer-Kan simplicial localization $L(M)$; (ii) $A$ admits all small homotopy colimits, and there is a small subset of objects of $A$ which are $A$-small, and which generate $A$ by homotopy colimits; (iii) There exists a small 1-category $C$ and a morphism $g:C\to A$ sending objects of $C$ to $A$-small objects, which induces a fully faithful inclusion $i:A\to \hat{C}$, such that $i$ admits …
A Model Categoric Equivalence for Crossed Simplicial Modules
本文在有限交叉单纯群且基域特征为0的条件下，构造了单纯向量空间范畴与交叉单纯群表示范畴之间的模型范畴等价。
This paper develops the foundations of a simplicial theory of weak omega-categories, which builds upon the insights originally expounded by Ross Street in his 1987 paper on oriented simplices. The resulting theory of weak complicial sets provides a common generalisation of the theories of (strict) omega-categories, Kan complexes and Joyal's quasi-categories. We generalise a number of results due to the current author with regard to complicial sets and strict omega-categories to provide an armoury of well behaved technical devices, such as joins and Gray tensor products, which will be used to s…
In this thesis we define the notion of a locally stratified space. Locally stratified spaces are particular kinds of streams and d-spaces which are locally modelled on stratified spaces. We construct a locally presentable and cartesian closed category of locally stratified spaces that admits an adjunction with the category of simplicial sets. Moreover, we show that the full subcategory spanned by locally stratified spaces whose associated simplicial set is a quasicategory has the structure of a category with fibrant objects. We define the fundamental category of a locally stratified space and …
This document is centered around a main idea: simplicial categories, by which we mean simplicial objects in the category of categories, can be treated as a two-fold categorical structure and their double category theory is homotopically meaningful. The most well-known two-fold structures are double categories, typically used to organize bimodules in various contexts. However there is no double category of spaces even though notions of bimodule are conceivable. We first remedy this defect of double category theory by constructing a meaningful simplicial category of spaces. Then we develop the a…
Classification Diagrams of Marked Simplicial Sets
该研究证明带标记单纯集合范畴到双单纯集合范畴的分类图函子保笛卡尔等价到Rezk等价，由此推出相对∞-范畴局部化的Mazel-Gee定理。
Equivalence of cubical and simplicial approaches to $(\infty,n)$-categories
本文证明了立方体与单纯形方法在$(\infty,n)$-范畴中的等价性，基于锥形理论的理论发展。
Generalizing quasi-categories via model structures on simplicial sets
本文利用Cisinski机制在单纯集合上构造了推广拟范畴的模型结构，通过非代数的提升条件捕捉其同伦行为，并探讨了其局部化及与Joyal和极小模型结构的关系。
For a small simplicial category A, we prove that the homotopy colimit functor from the category of simplicial diagrams on A to the category of simplicial sets over the homotopy-coherent nerve of A provides a left Quillen equivalence between the projective model structure on the former category and the covariant model structure on the latter. We compare this Quillen equivalence to the straightening-unstraightening equivalence previously established by Lurie, where the left adjoint goes in the opposite direction. The existence of left Quillen functors in both directions considerably simplifies t…
The tensor functor from the category of $A_\infty$-algebras into the category of differential modules with $\infty$-simplicial faces is constructed. Further, it is showed that this functor sends homotopy equivalent $A_\infty$-algebras into homotopy equivalent differential modules with $\infty$-simplicial faces.
In [3], after defining notions of LS category in the simplicial context, the authors show that the geometric simplicial LS category is non-decreasing under strong collapses. However, they do not give examples where it increases strictly, but they conjecture that such an example should exist, and thus that the geometric simplicial LS category is not strong homotopy invariant. The purpose of this note is to provide with such an example. We construct a simplicial complex whose simplicial and geometric simplicial LS categories are different, and using this, we provide an example of a strong collap…
The simplicial LS-category of a finite abstract simplicial complex is a new invariant of the strong homotopy type, defined in purely combinatorial terms, that generalizes to arbitrary simplicial complexes the well known notion of arboricity of a graph, and that allows to develop all the machinery of algebraic topology which is costumary in the classical theory of Lusternik-Schnirelmann category.
We show that if $(M,\tensor,I)$ is a monoidal model category then $\REnd_M(I)$ is a (weak) 2-monoid in $\sSet$. This applies in particular when $M$ is the category of $A$-bimodules over a simplicial monoid $A$: the derived endomorphisms of $A$ then form its Hochschild cohomology, which therefore becomes a simplicial 2-monoid.
We describe the moduli space of extensions in the model category of simplicial presheaves. This article can be seen as a generalization of Blomgren-Chacholski results in the case of simplicial sets. Our description of the moduli space of extensions treat the equivariant and the nonequivariant case in the same setting. As a new result, we describe the moduli space of M-bundles over a fixed space X, when M is a simplicial monoid. Moreover, the moduli space of M-bundles is classified by the classifying space of the simplicial submonoid generated by homotopy invertible elements of M. We give a gen…
We define the notion of a multi-sorted algebraic theory, which is a generalization of an algebraic theory in which the objects are of different "sorts." We prove a rigidification result for simplicial algebras over these theories, showing that there is a Quillen equivalence between a model category structure on the category of strict algebras over a multi-sorted theory and an appropriate model category structure on the category of functors from a multi-sorted theory to the category of simplicial sets. In the latter model structure, the fibrant objects are homotopy algebras over that theory. Ou…
We construct a symmetric monoidal category $LIE^{MC}$ whose objects are shifted L-infinity algebras equipped with a complete descending filtration. Morphisms of this category are "enhanced" infinity morphisms between shifted L-infinity algebras. We prove that any category enriched over $LIE^{MC}$ can be integrated to a simplicial category whose mapping spaces are Kan complexes. The advantage gained by using enhanced morphisms is that we can see much more of the simplicial world from the L-infinity algebra point of view. We use this construction in a subsequent paper to produce a simplicial mod…
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…
Associated to each small category $C$, there is a category of $C$-shaped diagrams of simplicial sets and an $\infty$-category of $NC$-shaped homotopy coherent diagrams of spaces. We present a functor which exhibits the latter as the $\infty$-categorical localisation of the former at the objectwise weak homotopy equivalences. This builds on a Quillen equivalence between the projective and covariant model structures associated to $C$ due to Heuts-Moerdijk, as well as Cisinski's theory of $\infty$-categorical localisations. We use the localisation functor to give simplified proofs that the left (…
Generalizing a result of Dwyer and Kan for simplicial categories, we characterize the morphisms of multi-sorted simplicial algebraic theories and simplicial coloured operads which induce a Quillen equivalence between the corresponding categories of algebras.
We show that a category $\mathscr{M}$ equipped with a model structure defined by a proper, locally small class of orbits $\mathscr{O}$ is Quillen equivalent to the category of small relative presheaves $\mathcal{P}(\mathscr{M},\mathscr{O})$.
We construct models for the motivic homotopy category based on simplicial functors from smooth schemes over a field to simplicial sets. These spaces are homotopy invariant and therefore one does not have to invert the affine line in order to get a model for the motivic homotopy category.
In this paper we establish a natural definition of Lusternik-Schnirelmann category for simplicial complexes via the well known notion of contiguity. This category has the property of being homotopy invariant under strong equivalences, and only depends on the simplicial structure rather than its geometric realization. In a similar way to the classical case, we also develop a notion of geometric category for simplicial complexes. We prove that the maximum value over the homotopy class of a given complex is attained in the core of the complex. Finally, by means of well known relations between sim…
Simplicial lists in operad theory I
本文定义了单纯列表范畴 $\mathsf{sList}$，通过构造完全忠实神经函子证明其支持非对称算畴组合学，为非对称 $\infty$-算畴理论提供合理模型，并研究了其预层结构、连贯神经函子及同调群。
In previous work, we showed that there are appropriate model category structures on the category of simplicial categories and on the category of Segal precategories, and that they are Quillen equivalent to one another and to Rezk's complete Segal space model structure on the category of simplicial spaces. Here, we show that these results still hold if we instead use groupoid or "invertible" cases. Namely, we show that model structures on the categories of simplicial groupoids, Segal pregroupoids, and invertible simplicial spaces are all Quillen equivalent to one another and to the standard mod…
We show that the category of simplicial sets is a co-reflective subcategory of the category of cubical sets with connections, with the inclusion given by a version of the straightening functor. We show that using the co-reflector, one can transfer any cofibrantly generated model structure in which cofibrations are monomorphisms to cubical sets, thus obtaining cubical analogues of the Quillen and Joyal model structures.
André-Quillen Cohomology and $k$-invariants of simplicial categories
本文利用 Dwyer-Kan-Smith 上同调的解释，构建了单纯范畴 $k$-不变量取值的上链复形，并基于同伦余极限分解研究了映射提升至 Postnikov section 的障碍，从而恢复高阶同伦不变量。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。