Joachim Kock, Bertrand Toën
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Admissible replacements for simplicial monoidal model categories
本文利用Dugger万有模型范畴构造，为单纯与组合对称幺半群模型范畴构造了具有更好operadic性质的替换，并证明稳定情形下当幺半群单位是紧生成元时，此类范畴可由交换环谱分类，且与唯一确定的交换环谱上的模强幺半群Quillen等价。
Intersection cohomology is a way to enhance classical cohomology, allowing us to use a famous result called Poincaré duality on a large class of spaces known as stratified pseudomanifolds. There is a theoretically powerful way to arrive at intersection cohomology by classifying sheaves that satisfy what are called Deligne axioms. We stablish an abstract manifestation of the Deligne axioms, to then apply it on a simplicial complex environment, for a category of simplicial sheaves inspired on the works of D. Chataur, D. Tanré and M. Saralegi-Araguren. For a stablished topology on a triangulation…
We define a bar construction endofunctor on the category of commutative augmented monoids $A$ of a symmetric monoidal category $\mathcal{V}$ endowed with a left adjoint monoidal functor $F:s\mathbf{Set}\to \mathcal{V}$. To do this, we need to carefully examine the monoidal properties of the well-known (reduced) simplicial bar construction $B_\bullet(1,A,1)$. We define a geometric realization $|-|$ with respect to the image under $F$ of the canonical cosimplicial simplicial set. This guarantees good monoidal properties of $|-|$: it is monoidal, and given a left adjoint monoidal functor $G:\math…
The purpose of this paper is two-fold. In Part 1 we introduce a new theory of operadic categories and their operads. This theory is, in our opinion, of an independent value. In Part 2 we use this new theory together with our previous results to prove that multiplicative 1-operads in duoidal categories admit, under some mild conditions on the underlying monoidal category, natural actions of contractible 2-operads. The result of D. Tamarkin on the structure of dg-categories, as well as the classical Deligne conjecture for the Hochschild cohomology, is a particular case of this statement.
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.
Simplicial methods in the resource theory of contextuality
本文在对称幺半范畴框架内发展了情境性资源理论，引入事件场景作为预层理论测量场景的函子推广，并用非情境性分布刻画了单纯分布间的凸映射，扩展了范畴量子基础研究。
A monoidal Dold-Kan correspondence for comodules
本文构造了余模范畴中基于 Postnikov 塔的归纳纤维性替换，证明单纯余模与连通微分分次余模 Quillen 等价，并推出单连通空间的有理 A-理论等价于相应余模结构完美链复形的 K-理论。
The Hurewicz model structure on simplicial $R$-modules
本文基于Christensen-Hovey定理和Dold-Kan对应，描述了单纯R-模上的Hurewicz模型结构，并证明其与链复形情形均为幺半模型范畴。
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 …
Categorifying equivariant monoids
本文结合 PROPs、PROBs 与交叉单纯群理论，构造出编码等变幺半群结构的范畴，其代数范畴等价于带群作用的各类幺半群，并扩展至平衡辫张范畴和对合幺半群。
We consider the category of presheaves of Gamma-spaces, or equivalently, of Gamma-objects in simplicial presheaves. Our main result is the construction of stable model structures on this category parametrised by local model structures on simplicial presheaves. If a local model structure on simplicial presheaves is monoidal, the corresponding stable model structure on presheaves of Gamma-spaces is monoidal and satisfies the monoid axiom. This allows us to lift the stable model structures to categories of algebras and modules over commutative algebras.
Extending previous work, we define monoidal algebraic model structures and give examples. The main structural component is what we call an algebraic Quillen two-variable adjunction; the principal technical work is to develop the category theory necessary to characterize them. Our investigations reveal an important role played by "cellularity" - loosely, the property of a cofibration being a relative cell complex, not simply a retract of such - which we particularly emphasize. A main result is a simple criterion which shows that algebraic Quillen two-variable adjunctions correspond precisely to…
On the global homotopy theory of symmetric monoidal categories
本文证明可和范畴的整体同伦论可由对称幺半范畴建模，并等价于可和单纯集的同伦论，为整体相干交换幺半群提供桥梁。
Any simplicial Hopf algebra involves $2n$ different projections between the Hopf algebras $H_n,H_{n-1}$ for each $n \geq 1$. The word projection, here meaning a tuple $\partial \colon H_{n} \to H_{n-1}$ and $i \colon H_{n-1} \to H_{n}$ of Hopf algebra morphisms, such that $\partial \, i = \mathrm{id}$. Given a Hopf algebra projection $(\partial \colon I \to H,i)$ in a braided monoidal category $\mathfrak{C}$, one can obtain a new Hopf algebra structure living in the category of Yetter-Drinfeld modules over $H$, due to Radford's theorem. The underlying set of this Hopf algebra is obtained by an…
Over suitable monoidal model categories, we construct a Dwyer-Kan model category structure on the category of algebras over an augmented operadic collection. As examples we obtain Dwyer-Kan model category structure on the categories of enriched wheeled props, wheeled properads, and wheeled operads, among others. This result extends known model category structure on the categories of operads, properads, and props enriched in simplicial sets and other monoidal model categories. We also show that our Dwyer-Kan model category structure is well behaved with respect to simultaneous changes of the un…
We interpret divided power structures on the homotopy groups of simplicial commutative rings as having a counterpart in divided power structures on chain complexes coming from a non-standard symmetric monoidal structure.
The purpose of this paper is to show that various convolution products are fully homotopical, meaning that they preserve weak equivalences in both variables without any cofibrancy hypothesis. We establish this property for diagrams of simplicial sets indexed by the category of finite sets and injections and for tame $M$-simplicial sets, with $M$ the monoid of injective self-maps of the positive natural numbers. We also show that a certain convolution product studied by Nikolaus and the first author is fully homotopical. This implies that every presentably symmetric monoidal $\infty$-category c…
We show that the monoidal product on the stable homotopy category of spectra is essentially unique. This strengthens work of this author with Schwede on the uniqueness of models of the stable homotopy theory of spectra. As an application we show that with an added assumption about underlying model structures Margolis' axioms uniquely determine the stable homotopy category of spectra up to monoidal equivalence. Also, the equivalences constructed here give a unified construction of the known equivalences of the various symmetric monoidal categories of spectra (S-modules, \W-spaces, orthogonal sp…
A PROB is a "product and braid" category. Such categories can be used to encode the structure borne by an object in a braided monoidal category. In this paper we provide PROBs whose categories of algebras in a braided monoidal category are equivalent to the categories of monoids and comonoids using the category associated to the braid crossed simplicial group of Fiedorowicz and Loday. We show that PROBs can be composed by generalizing the machinery introduced by Lack for PROPs. We use this to define a PROB for bimonoids in a braided monoidal category as a composite of the PROBs for monoids and…
We prove that a weak equivalence between two cofibrant (colored) props in chain complexes induces a Dwyer-Kan equivalence between the simplicial localizations of the associated categories of algebras. This homotopy invariance under base change implies that the homotopy category of homotopy algebras over a prop P does not depend on the choice of a cofibrant resolution of P, and gives thus a coherence to the notion of algebra up to homotopy in this setting. The result is established more generally for algebras in combinatorial monoidal dg categories.
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 prove that, under certain conditions, the model structure on a monoidal model category $\mathcal{V}$ can be transferred to a model structure on the category of $\mathcal{V}$-enriched coloured (symmetric) operads. As a particular case we recover the known model structure on simplicial operads.
In this article we give a conceptual definition of Manin products in any category endowed with two coherent monoidal products. This construction can be applied to associative algebras, non-symmetric operads, operads, colored operads, and properads presented by generators and relations. These two products, called black and white, are dual to each other under Koszul duality functor. We study their properties and compute several examples of black and white products for operads. These products allow us to define natural operations on the chain complex defining cohomology theories. With these opera…
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…
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 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 paper we study the question of how to transfer homotopic structure from the category sD of simplicial objects in a fixed category D to D. To this end we use a sort of homotopy colimit s : sD --> D, which we call simple functor. For instance, the Bousfield-Kan homotopy colimit in a Quillen simplicial model category is an example of simple functor. As a remarkable example outside the setting of Quillen models we include Deligne simple of mixed Hodge complexes. We prove here that the simple functor induces an equivalence on the corresponding localized categories. We also describe a natura…
The most natural notion of a simplicial nerve for a (weak) bicategory was given by Duskin, who showed that a simplicial set is isomorphic to the nerve of a $(2,1)$-category (i.e. a bicategory with invertible $2$-morphisms) if and only if it is a quasicategory which has unique fillers for inner horns of dimension $3$ and greater. Using Duskin's technique, we show how his nerve applies to $(2,1)$-category functors, making it a fully faithful inclusion of $(2,1)$-categories into simplicial sets. Then we consider analogues of this extension of Duskin's result for several different two-dimensional …
We introduce the concept of a dendroidal set. This is a generalization of the notion of a simplicial set, specially suited to the study of operads in the context of homotopy theory. We define a category of trees, which extends the category $Δ$ used in simplicial sets, whose presheaf category is the category of dendroidal sets. We show that there is a closed monoidal structure on dendroidal sets which is closely related to the Boardman-Vogt tensor product of operads. Furthermore we show that each operad in a suitable model category has a coherent homotopy nerve which is a dendroidal set, extend…
Let M be a monoidal category endowed with a distinguished class of weak equivalences and with appropriately compatible classifying bundles for monoids and comonoids. We define and study homotopy-invariant notions of normality for maps of monoids and of conormality for maps of comonoids in M. These notions generalize both principal bundles and crossed modules and are preserved by nice enough monoidal functors, such as the normaliized chain complex functor. We provide several explicit classes of examples of homotopy-normal and of homotopy-conormal maps, when M is the category of simplicial sets …
The long hunt for a symmetric monoidal category of spectra finally ended in success with the simultaneous discovery of the third author's discovery of symmetric spectra and the Elmendorf-Kriz-Mandell-May category of S-modules. In this paper we define and study the model category of symmetric spectra, based on simplicial sets and topological spaces. We prove that the category of symmetric spectra is closed symmetric monoidal and that the symmetric monoidal structure is compatible with the model structure. We prove that the model category of symmetric spectra is Quillen equivalent to Bousfield a…
We generalize and greatly simplify the approach of Lydakis and Dundas-Röndigs-Østvær to construct an L-stable model structure for small functors from a closed symmetric monoidal model category V to a V-model category M, where L is a small cofibrant object of V. For the special case V=M=S_* pointed simplicial sets and L=S^1 this is the classical case of linear functors and has been described as the first stage of the Goodwillie tower of a homotopy functor. We show, that our various model structures are compatible with a closed symmetric monoidal product on small functors. We compare them with o…
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.
A well-known question by Gromov asks whether the vanishing of the simplicial volume of oriented closed connected aspherical manifolds implies the vanishing of the Euler characteristic. We study various versions of Gromov's question and collect strategies towards affirmative answers and strategies towards negative answers to this problem. Moreover, we put Gromov's question into context with other open problems in low- and high-dimensional topology. A special emphasis is put on a comparative analysis of the additivity properties of the simplicial volume and the Euler characteristic for manifolds…
A version of Dwyer-Kan localization in the context of infinity-categories and simplicial categories is presented. Some results of the classical papers by Dwyer and Kan on simplicial localization are reproven and generalized. It is proven that a Quillen pair of model categories gives rise to an adjoint pair of the DK localizations. Also a result on localization of a family of infinity-categories is proven. This, in particular, is applied to localization of symmetric monoidal infinity-categories, where some (partial) results are obtained.
We give a general method of constructing positive stable model structures for symmetric spectra over an abstract simplicial symmetric monoidal model category. The method is based on systematic localization, in Hirschhorn's sense, of a ceratin positive projective model structure on spectra, where positivity basically means the truncation of the zero slice. The localization above is by the set of stabilizing morphisms, or their truncated version.
We discuss a variant of the category of dendroidal sets, the so-called closed dendroidal sets which are indexed by trees without leaves. This category carries a Quillen model structure which behaves better than the one on general dendroidal sets, mainly because it satisfies the pushout-product property, hence induces a symmetric monoidal structure on its homotopy category. We also study complete Segal style model structures on closed dendroidal spaces, and various Quillen adjunctions to model categories on (all) dendroidal sets or spaces. As a consequence, we deduce a Quillen equivalence from …
We define a model category structure on a slice category of simplicial spaces, called the "Segal group action" structure whose fibrant-cofibrant objects may be viewed as representing spaces $X$ with a coherent action of a given Segal group (i.e. a group-like, reduced Segal space). We show that this model structure is Quillen equivalent to the projective model structure on $G$-spaces, $\mathcal{S}^{\mathbb{B}G}$, where $G$ is a simplicial group represented by this Segal group. Since Segal group actions are invariant under weak monoidal endofunctors of spaces they enable to construct, for an arb…
Rectification of dendroidal left fibrations
本文对离散有色 operad $P$ 构造树状集与单纯 $P$-代数间的伴随，证明在 $Σ$-自由条件下其为协变与投射模型结构间的 Quillen 等价，并独立恢复及幺半强化 Heuts–Moerdijk 结果。
A convenient category of cubes
本文提出以有限 Boolean 格间保持区间的单调函数构成的立方体范畴作为立方集的便利通用 site，并证明其生成元、态射刻画及与单纯集 Quillen 等价的 proper 模型结构。
The differential graded Verlinde Formula and the Deligne Conjecture
本文研究模范畴产生的微分分次模函子，证明环面映射类群中特定元素$S$的作用可将微分分次Verlinde代数转化为Deligne猜想提供的$E_2$结构，并在半单与非半单情形下分别归结为Verlinde公式及其非半单推广。
We introduce the symmetricity notions of symmetric h-monoidality, symmetroidality, and symmetric flatness. As shown in our paper arXiv:1410.5675, these properties lie at the heart of the homotopy theory of colored symmetric operads and their algebras. In particular, the former property can be seen as the analog of Schwede and Shipley's monoid axiom for algebras over symmetric operads and allows one to equip categories of such algebras with model structures, whereas the latter ensures that weak equivalences of operads induce Quillen equivalences of categories of algebras. We discuss these prope…
In this paper we give a new foundational, categorical formulation for operations and relations and objects parameterizing them. This generalizes and unifies the theory of operads and all their cousins including but not limited to PROPs, modular operads, twisted (modular) operads, properads, hyperoperads, their colored versions, as well as algebras over operads and an abundance of other related structures, such as crossed simplicial groups, the augmented simplicial category or FI--modules. The usefulness of this approach is that it allows us to handle all the classical as well as more esoteric …
A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems
本文提出首个针对 $\mathbb{K}$-线性 $\infty$-局部系统的全局模型结构，通过组合模型结构构建，改进了对参数化谱的控制，为LHoTT的乘法片段提供语义。
We prove that any category of props in a symmetric monoidal model category inherits a model structure. We devote an appendix, about half the size of the paper, to the proof of the model category axioms in a general setting. We need the general argument to address the case of props in topological spaces and dg-modules over an arbitrary ring, but we give a less technical proof which applies to the category of props in simplicial sets, simplicial modules, and dg-modules over a ring of characteristic 0. We apply the model structure of props to the homotopical study of algebras over a prop. Our goa…
In this article we further the study of noncommutative numerical motives. By exploring the change-of-coefficients mechanism, we start by improving some of our previous main results. Then, making use of the notion of Schur-finiteness, we prove that the category NNum(k)_F of noncommutative numerical motives is (neutral) super-Tannakian. As in the commutative world, NNum(k)_F is not Tannakian. In order to solve this problem we promote periodic cyclic homology to a well-defined symmetric monoidal functor HP on the category of noncommutative Chow motives. This allows us to introduce the correct non…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。