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 monoid. This paper is a follow-up to that one. We study what happens when the conditions of Schwede-Shipley do not hold. This will happen in any topological situation, and in particular, in topological symmetric spectra. We find that, with no conditions on our monoidal model category except that it be cofibrantly generated and that the unit be cofibrant, we still obtain a homotopy category of monoids, and that this homotopy category is homotopy invariant in an appropriate sense.
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.
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…
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.
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 discuss the monoidal structure on Franke's algebraic model for the $K_{(p)}$-local stable homotopy category at odd primes and show that its Picard group is isomorphic to the integers.
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…
In this paper we show how to modify cofibrations in a monoidal model category so that the tensor unit becomes cofibrant while keeping the same weak equivalences. We obtain aplications to enriched categories and coloured operads in stable homotopy theory.
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.
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…
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…
Building on structure observed in equivariant homotopy theory, we define an equivariant generalization of a symmetric monoidal category: a $G$-symmetric monoidal category. These record not only the symmetric monoidal products but also symmetric monoidal powers indexed by arbitrary finite $G$-sets. We then define $G$-commutative monoids to be the natural extension of ordinary commutative monoids to this new context. Using this machinery, we then describe when Bousfield localization in equivariant spectra preserves certain operadic algebra structures, and we explore the consequences of our defin…
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 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 start from any small strict monoidal braided Ab-category and extend it to a monoidal nonstrict braided Ab-category which contains braided bialgebras. The objects of the original category turn out to be modules for these bialgebras
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 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.
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.
The category of flows is not cartesian closed. We construct a closed symmetric monoidal structure which has moreover a satisfactory behavior from the computer scientific viewpoint.
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.
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 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 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 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.
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 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.
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.
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.
A variant of the trace in a monoidal category is given in the setting of closed monoidal derivators, which is applicable to endomorphisms of fiberwise dualizable objects. Functoriality of this trace is established. As an application, an explicit formula for the trace of the homotopy colimit of endomorphisms over finite EI-categories is deduced. This result can be seen as a generalization of the additivity of traces in monoidal categories with a compatible triangulation.
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.
