Moncef Ghazel, Fethi Kadhi
Given a small category $I$ and a closed symmetric monoidal category $\mm$, we show that the diagram category $\mm^I$ with the objectwise product is a closed symmetric monoidal category. We then prove that if $I$ is a Reedy category and $\mm$ has a model structure compatible with its product, then so is the Reedy model structure on $\mm^I$ provided that $\mm$ is cofibrantly generated.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We study the category of Reedy diagrams in a $\mm$-model category. Explicitly, we show that if K is a small category, V is a closed symmetric monoidal category and C is a closed V-module, then the diagram category V^K is a closed symmetric monoidal category and the diagram category C^K is a closed V^K-module. We then prove that if further K is a Reedy category, V is a monoidal model category and C is a V-model category, then with the Reedy model category structures, V^K is a monoidal model category and C^K$ is a $\mm^K-model category provided that either the unit 1 of V is cofibrant or V is co…
The category of necklaces is Reedy monoidal
本文基于 Barwick 的工作定义了 Reedy 单纯范畴，并利用组合描述简化了文献证明，最终证明了项链范畴 $\mathcal{N}ec$ 是简单 Reedy 单纯的。
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…
We construct and study projective and Reedy model category structures for bimodules and infinitesimal bimodules over topological operads. Both model structures produce the same homotopy categories. For the model categories in question, we build explicit cofibrant and fibrant replacements. We show that these categories are right proper and under some conditions left proper. We also study the extension/restriction adjunctions.
We use the notion of multi-Reedy category to prove that, if $\mathcal C$ is a Reedy category, then $Θ\mathcal C$ is also a Reedy category. This result gives a new proof that the categories $Θ_n$ are Reedy categories. We then define elegant Reedy categories, for which we prove that the Reedy and injective model structures coincide.
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 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.
The sole purpose of this note is to introduce some elementary results on the structure and functoriality of Reedy model categories. In particular, I give a very useful little criterion to determine whether composition with a morphism of Reedy categories determines a left or right Quillen functor. I then give a number of useful inheritance results.
The Hochschild Homology of Reedy Categories
本文计算了广义Reedy范畴（如单纯形范畴、有限集范畴、有限维范畴以及与operad相关的PROP）的Hochschild同调。
Variations on the notions of Reedy model structures and projective model structures on categories of diagrams in a model category are introduced. These allow one to choose only a subset of the entries when defining weak equivalences, or to use different model categories at different entries of the diagrams. As a result, a bisimplicial model category that can be used to recover the algebraic K-theory for any Waldhausen subcategory of a model category is produced.
We study a certain type of action of categories on categories and on operads. Using the structure of the categories Δ and Ω governing category and operad structures, respectively, we define categories which instead encode the structure of a category acting on a category, or a category acting on an operad. We prove that the former has the structure of an elegant Reedy category, whereas the latter has the structure of a generalized Reedy category. In particular, this approach gives a new way to regard group actions on categories and on operads.
We show that Voevodsky's univalence axiom for intensional type theory is valid in categories of simplicial presheaves on elegant Reedy categories. In addition to diagrams on inverse categories, as considered in previous work of the author, this includes bisimplicial sets and $Θ_n$-spaces. This has potential applications to the study of homotopical models for higher categories.
Linear Reedy categories, quasi-hereditary algebras and model structures
本文研究线性Reedy范畴与有限维代数及阿贝尔模型结构的关系，证明其模范畴具有最高权结构，并将完备余挠对和模型结构提升到加性函子范畴。
The goal of this paper is to demystify the role played by the Reedy category axioms in homotopy theory. With no assumed prerequisites beyond a healthy appetite for category theoretic arguments, we present streamlined proofs of a number of useful technical results, which are well known to folklore but difficult to find in the literature. While the results presented here are not new, our approach to their proofs is somewhat novel. Specifically, we reduce the much of the hard work involved to simpler computations involving weighted colimits and Leibniz (pushout-product) constructions. The general…
Presentation of finite Reedy categories as localizations of finite direct categories
本文通过构造直范畴 Down(C) 及其到 Reedy 范畴 C 的函子，将有限 Reedy 范畴呈现为有限直范畴的 (∞,1)-范畴局部化，从而为同伦类型论的有限截断单纯类型元理论提供工具。
We use fibrations of complete Segal spaces to construct four complete Segal spaces: Reedy fibrant simplicial spaces, Segal spaces, complete Segal spaces, and spaces. Moreover, we show each one comes with a universal fibration that classifies Reedy left fibrations, Segal coCartesian fibrations, coCartesian fibrations and left fibrations and prove these are representable fibrations. Finally, we use equivalences between quasi-categories and complete Segal spaces to present analogous constructions using fibrations of quasi-categories.
In this note we prove that Reedy fibrant Segal categories are fibrant objects in the model category structure SeCat_c. Combining this result with a previous one, we thus have that the fibrant objects are precisely the Reedy fibrant Segal categories. We also show that the analogous result holds for Segal categories which are fibrant in the projective model structure on simplicial spaces, considered as objects in the model structure SeCat_f.
Given a family of model categories $\cal E \to \cal R$ over a Reedy category, we outline a set of conditions which lead to the existence of a Reedy model structure on the category of sections ${\sf Sect}(\cal R, \cal E)$. We prove that for a wide class of examples, this model structure serves as a strictification of the $(\infty,1)$-category of sections of the higher-categorical family associated to $\cal E \to \cal R$.
We construct model category structures for monoids and modules in symmetric monoidal model categories which satisfy an extra axiom, the monoidal axiom, with applications to symmetric spectra and $Γ$-spaces.
This paper studies the existence of and compatibility between derived change of ring, balanced product, and function module derived functors on module categories in monoidal model categories.
This paper studies the existence of model category structures on algebras and modules over operads in monoidal model categories.
In this paper, we study conditions for extending Quillen model category properties , between two symmetric monoidal categories, to their associated category of symmetric sequences and of operads. Given a Quillen equivalence $λ: \mathcal{C}=Ch_{\Bbbk,t} \leftrightarrows \mathcal{D}: R,$ so that $\mathcal{D}$ is any symmetric monoidal category and the adjoint pair $(λ, R)$ is weak monoidal, we prove that the categories of connected operads $Op_\mathcal{C}$ and $Op_\mathcal{D}$ are Quillen equivalent. This expands an analogous result of Schwede-Shipley(\cite{SS03}) when we replace these categorie…
We show that all coalgebras over the sphere spectrum are cocommutative in the category of symmetric spectra, orthogonal spectra, $Γ$-spaces, $\mathcal{W}$-spaces and EKMM $\mathbb{S}$-modules. Our result only applies to these strict monoidal categories of spectra and does not apply to the $\infty$-category setting.
The structure of a $k$-fold monoidal category as introduced by Balteanu, Fiedorowicz, Schwänzl and Vogt can be seen as a weaker structure than a symmetric or even braided monoidal category. In this paper we show that it is still sufficient to permit a good definition of ($n$-fold) operads in a $k$-fold monoidal category which generalizes the definition of operads in a braided category. Furthermore, the inheritance of structure by the category of operads is actually an inheritance of iterated monoidal structure, decremented by at least two iterations. We prove that the category of $n$-fold oper…
We construct Quillen equivalences between the model categories of monoids (rings), modules and algebras over two Quillen equivalent model categories under certain conditions. This is a continuation of our earlier work where we established model categories of monoids, modules and algebras [Algebras and modules in monoidal model categories, Proc. London Math. Soc. 80 (2000), 491-511]. As an application we extend the Dold-Kan equivalence to show that the model categories of simplicial rings, modules and algebras are Quillen equivalent to the associated model categories of connected differential g…
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…
A monoidal model category is a model category with a compatible closed monoidal structure. Such things abound in nature; simplicial sets and chain complexes of abelian groups are examples. Given a monoidal model category, one can consider monoids and modules over a given monoid. We would like to be able to study the homotopy theory of these monoids and modules. This question was first addressed by Stefan Schwede and Brooke Shipley in "Algebras and modules in monoidal model categories", who showed that under certain conditions, there are model categories of monoids and of modules over a given m…
We prove the theorem stated in the title. More precisely, we show the stronger statement that every symmetric monoidal left adjoint functor between presentably symmetric monoidal infinity-categories is represented by a strong symmetric monoidal left Quillen functor between simplicial, combinatorial and left proper symmetric monoidal model categories.
Monoidal Relative Categories Model Monoidal $\infty$-Categories
本文证明单调相对范畴的同调理论等价于单调∞-范畴的同调理论，并在对称单调情况下同样成立。通过应用，证明了每个可呈现的单调或可呈现的对称单调∞-范畴都由单调或对称单调模型范畴呈现。
In this paper we introduce a notion of $\mathbf{O}$-monoidal $\infty$-categories for a finite sequence $\mathbf{O}^{\otimes}$ of $\infty$-operads, which is a generalization of the notion of higher monoidal categories in the setting of $\infty$-categories. We show that the $\infty$-category of coCartesian $\mathbf{O}$-monoidal $\infty$-categories and right adjoint lax $\mathbf{O}$-monoidal functors is equivalent to the opposite of the $\infty$-category of Cartesian $\mathbf{O}_{\rm rev}$-monoidal $\infty$-categories and left adjoint oplax $\mathbf{O}_{\rm rev}$-monoidal functors, where $\mathbf…
We study the categories governing infinity (wheeled) properads. The graphical category, which was already known to be generalized Reedy, is in fact an Eilenberg-Zilber category. A minor alteration to the definition of the wheeled graphical category allows us to show that it is a generalized Reedy category. Finally, we present model structures for Segal properads and Segal wheeled properads.
We prove that the homotopy theory of parsummable categories (as defined by Schwede) with respect to the underlying equivalences of categories is equivalent to the usual homotopy theory of symmetric monoidal categories. In particular, this yields a model of symmetric monoidal categories in terms of categories equipped with a strictly commutative, associative, and unital (but only partially defined) operation.
The main objective of this paper is to construct a symmetric monoidal closed model category of coherently commutative monoidal quasi-categories. We construct another model category structure whose fibrant objects are (essentially) those coCartesian fibrations which represent objects that are known as symmetric monoidal quasi-categories in the literature. We go on to establish a Quillen equivalence between the two model categories.
I describe a generalization of the notion of operadic category due to Batanin and Markl. For each such operadic category I describe a skew monoidal category of collections, such that a monoid in this skew monoidal category is precisely an operad over the operadic category. In fact I describe two skew monoidal categories with this property. The first has the feature that the operadic category can be recovered from the skew monoidal category of collections; the second has the feature that the right unit constraint is invertible. In the case of the operadic category S of finite sets and functions…
We extend the Quillen Theorem Bn for homotopy fibers of Dwyer, et al. to similar results for homotopy pullbacks and note that these results imply similar results for zigzags in the categories of relative categories and k-relative categories, not only with respect to their Reedy structures but also their Rezk structure, which turns them into models for the theories of (infinity, 1)- and (infinity, k)-categories, respectively.
We show that the homotopy colimit construction for diagrams of categories with an operad action, recently introduced by Fiedorowicz, Stelzer and Vogt, has the desired homotopy type for diagrams of weak braided monoidal categories. This provides a more flexible way to realize E-2 spaces categorically.
We use Lurie's symmetric monoidal envelope functor to give two new descriptions of $\infty$-operads: as certain symmetric monoidal $\infty$-categories whose underlying symmetric monoidal $\infty$-groupoids are free, and as certain symmetric monoidal $\infty$-categories equipped with a symmetric monoidal functor to finite sets (with disjoint union as tensor product). The latter leads to a third description of $\infty$-operads, as a localization of a presheaf $\infty$-category, and we use this to give a simple proof of the equivalence between Lurie's and Barwick's models for $\infty$-operads.
We introduce a tensor product for symmetric monoidal categories with the following properties. Let SMC denote the 2-category with objects small symmetric monoidal categories, arrows symmetric monoidal functors and 2-cells monoidal natural transformations. Our tensor product together with a suitable unit is part of a structure on SMC that is a 2-categorical version of the symmetric monoidal closed categories. This structure is surprisingly simple. In particular the arrows involved in the associativity and symmetry laws for the tensor and in the unit cancellation laws are 2-natural and satisfy c…
We prove existence results a la Jeff Smith for left-induced model category structures, of which the injective model structure on a diagram category is an important example. We further develop the notions of fibrant generation and Postnikov presentation from Hess, which are dual to a weak form of cofibrant generation and cellular presentation. As examples, for k a field and H a differential graded Hopf algebra over k, we produce a left-induced model structure on augmented H-comodule algebras and show that the category of bounded below chain complexes of finite-dimensional k-vector spaces has a …
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 …
Admissible replacements for simplicial monoidal model categories
本文利用Dugger万有模型范畴构造，为单纯与组合对称幺半群模型范畴构造了具有更好operadic性质的替换，并证明稳定情形下当幺半群单位是紧生成元时，此类范畴可由交换环谱分类，且与唯一确定的交换环谱上的模强幺半群Quillen等价。
In this paper we construct a symmetric monoidal closed model category of coherently commutative monoidal categories. The main aim of this paper is to establish a Quillen equivalence between a model category of coherently commutative monoidal categories and a natural model category of Permutative (or strict symmetric monoidal) categories, $\mathbf{Perm}$, which is not a symmetric monoidal closed model category. The right adjoint of this Quillen equivalence is the classical Segal's Nerve functor.
We develop a notion of iterated monoidal category and show that this notion corresponds in a precise way to the notion of iterated loop space. Specifically the group completion of the nerve of such a category is an iterated loop space and free iterated monoidal categories give rise to finite simplicial operads of the same homotopy type as the classical little cubes operads used to parametrize the higher H-space structure of iterated loop spaces. Iterated monoidal categories encompass, as a special case, the notion of braided tensor categories, as used in the theory of quantum groups.
Triangulated categories arising in algebra can often be described as the homotopy category of a pretriangulated dg-category, a category enriched in chain complexes with a natural notion of shifts and cones that is accessible with all the machinery of homological algebra. Dg-categories are algebraic models of $\infty$-categories and thus fit into a wide ecosystem of higher-categorical models and translations between them. In this paper we describe an equivalence between two methods to turn a pretriangulated dg-category into a quasicategory. The dg-nerve of a dg-category is a quasicategory whose…
In this paper we give an example of duoidal $\infty$-categories. We introduce map $\mathcal{O}$-monoidales in an $\mathcal{O}$-monoidal $(\infty,2)$-category for an $\infty$-operad $\mathcal{O}^{\otimes}$. We show that the endomorphism mapping $\infty$-category of a map $\mathcal{O}$-monoidale is a coCartesian $(Δ^{\rm op},\mathcal{O})$-duoidal $\infty$-category. After that, we introduce a convolution product on the mapping $\infty$-category from an $\mathcal{O}$-comonoidale to an $\mathcal{O}$-monoidale. We show that the $\mathcal{O}$-monoidal structure on the duoidal endomorphism mapping $\i…
The main result of this paper is the construction of a trace and a trace pairing for endomorphisms satisfying suitable conditions in a monoidal category. This construction is a common generalization of the trace for endomorphisms of dualizable ob jects in a balanced monoidal category and the trace of nuclear operators on a locally convex topological vector space with the approximation property.
Lax monoidality for products of enriched higher categories
本文证明松弛 $\mathbb{E}_{n+1}$-幺半函子可诱导富集 $\infty$-范畴间的松弛 $\mathbb{E}_n$-幺半函子，并基于 Boardman--Vogt 张量积给出将图示构造推广至 $\mathcal{O}$-幺半范畴的准则。
Operads were originally defined as V-operads, that is, enriched in a symmetric or braided monoidal category V. The symmetry or braiding in V is required in order to describe the associativity axiom the operads must obey, as well as the associativity that must be a property of the action of an operad on any of its algebras. After a review of the role of operads in loop space theory and higher categories we go over definitions of iterated monoidal categories and introduce a large family of simple examples. Then we generalize the definition of operad by defining n-fold operads and their algebras …
We introduce categorical models of $N_\infty$ spaces, which we call normed symmetric monoidal categories (NSMCs). These are ordinary symmetric monoidal categories equipped with compatible families of norm maps, and when specialized to a particular class of examples, they reveal a connection between the equivariant symmetric monoidal categories of Guillou-May-Merling-Osorno and those of Hill-Hopkins. We also give an operadic interpretation of the Mac Lane coherence theorem and generalize it to include NSMCs. Among other things, this theorem ensures that the classifying space of a NSMC is a $N_\…
Coherence for indexed symmetric monoidal categories
本文针对索引对称幺半范畴这一双范畴细化结构，拓展现有相干定理，证明由其定义的双范畴上一大类运算具有典范同构，并引入判定同构存在性的严格图形演算。
We show that weak monoidal Quillen equivalences induce equivalences of symmetric monoidal $\infty$-categories with respect to the Dwyer-Kan localization of the symmetric monoidal model categories. The result will induce a Dold-Kan correspondence of coalgebras in $\infty$-categories. Moreover, it shows that Shipley's zig-zag of Quillen equivalences lifts to an explicit symmetric monoidal equivalence of $\infty$-categories for the stable Dold-Kan correspondence. We study homotopy coherent coalgebras associated to a monoidal monoidal category. We show examples when these coalgebras cannot be rigi…
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.
We introduce the notion of solid monoid and rigid monoid in monoidal categories and study the formal properties of these objects in this framework. We show that there is a one to one correspondence between solid monoids, smashing localizations and mapping colocalizations, and prove that rigid monoids appear as localizations of the unit of the monoidal structure. As an application, we study solid and rigid ring spectra in the stable homotopy category and characterize connective solid ring spectra as Moore spectra of subrings of the rationals.
We extend the W-construction of Boardman and Vogt to operads of an arbitrary monoidal model category with suitable interval, and show that it provides a cofibrant resolution for well-pointed sigma-cofibrant operads. The standard simplicial resolution of Godement as well as the cobar-bar chain resolution are shown to be particular instances of this generalised W-construction.
We prove that the folk model category structure on the category of strict $ω$-categories, introduced by Lafont, Métayer and Worytkiewicz, is monoidal, first, for the Gray tensor product and, second, for the join of $ω$-categories, introduced by the first author and Maltsiniotis. We moreover show that the Gray tensor product induces, by adjunction, a tensor product of strict $(m,n)$-categories and that this tensor product is also compatible with the folk model category structure. In particular, we get a monoidal model category structure on the category of strict $ω$-groupoids. We prove that thi…
In this paper we give an expository account of quasistrict symmetric monoidal 2-categories, as introduced by Schommer-Pries. We reformulate the definition using a graphical calculus called wire diagrams, which facilitates computations and emphasizes the central role played by the interchangor coherence isomorphisms.
We define the Hochschild complex and cohomology of a ring object in a monoidal category enriched over abelian groups. We interpret the cohomology groups and prove that the cohomology ring is graded-commutative.
Arrow Categories of Monoidal Model Categories
本文证明幺半模型范畴的箭头范畴在推出积幺半结构与投射模型结构下仍是幺半模型范畴，回答了霍维的问题，并推动了立方同伦理论中的幺半积应用，附有多个非余生成实例。
We show that Schmitt's hereditary species induce monoidal decomposition spaces, and exhibit Schmitt's bialgebra construction as an instance of the general bialgebra construction on a monoidal decomposition space. We show furthermore that this bialgebra structure coacts on the underlying restriction-species bialgebra structure so as to form a comodule bialgebra. Finally, we show that hereditary species induce a new family of examples of operadic categories in the sense of Batanin and Markl.
The 2-category V-Cat of categories enriched over a braided monoidal category V is not itself braided in any way that is based upon the braiding of V. The exception is the case in which V is symmetric, which leads to V-Cat being symmetric as well. This paper describes how these facts are related to a categorical analogue of topological delooping. It seems that the analogy of loop spaces is a good guide for how to define the concept of enrichment over various types of monoidal objects, including k-fold monoidal categories and their higher dimensional counterparts. The main result is that for V a…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。