Related papers: Symmetric spectra
We show how to construct a Gamma-bicategory from a symmetric monoidal bicategory, and use that to show that the classifying space is an infinite loop space upon group completion. We also show a way to relate this construction to the classic…
We develop a rigidity criterion to show that in simplicial model categories with a compatible symmetric monoidal structure, operad structures can be automatically lifted along certain maps. This is applied to obtain an unpublished result of…
In previous work we proved that, for categories of free finite-dimensional modules over a commutative semiring, linear compact-closed symmetric monoidal structure is a property, rather than a structure. That is, if there is such a…
We establish model category structures on algebras and modules over operads in symmetric spectra, and study when a morphism of operads induces a Quillen equivalence between corresponding categories of algebras (resp. modules) over operads.
We give a simple sufficient condition for Quinn's "bordism-type spectra" to be weakly equivalent to strictly associative ring spectra. We also show that Poincare bordism and symmetric L-theory are naturally weakly equivalent to monoidal…
We prove two results from Morita theory of stable model categories. Both can be regarded as topological versions of recent algebraic theorems. One is on recollements of triangulated categories, which have been studied in the algebraic case…
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…
It is common to encounter symmetric monoidal categories $\mathcal{C}$ for which every object is equipped with an algebraic structure, in a way that is compatible with the monoidal product and unit in $\mathcal{C}$. We define this formally…
We give a new construction of the algebraic $K$-theory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and…
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…
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…
We show that the homotopy category of commutative algebra spectra over the Eilenberg-Mac Lane spectrum of the integers is equivalent to the homotopy category of E-infinity-monoids in unbounded chain complexes. We do this by establishing a…
We establish monoidal model structures on model categories of filtered chain complexes constructed by Cirici, Egas Santander, Livernet and Whitehouse whose weak equivalences are the quasi-isomorphisms on the $r$-page of the associated…
To an Adams-type homology theory we associate a notion of a synthetic spectrum, this is a product-preserving sheaf on the site of finite spectra with projective $E$-homology. We prove that the $\infty$-category $Syn_{E}$ of synthetic…
The authors develop a notion of homological prime spectrum for an arbitrary monoidal triangulated category, ${\mathbf C}$. Unlike the symmetric case due to Balmer, the homological primes of ${\mathbf C}$ are not defined as the maximal Serre…
The homology of the symmetric groups stabilizes, and the Barratt--Priddy--Quillen theorem identifies the stable homology with that of the infinite loop space underlying the sphere spectrum. We formulate a new proof inspired by Galatius,…
We present a family of model structures on the category of multicomplexes. There is a cofibrantly generated model structure in which the weak equivalences are the morphisms inducing an isomorphism at a fixed stage of an associated spectral…
We establish a Quillen model category structure on the category of symmetric simplicial multicategories. This model structure extends the model structure on simplicial categories due to J. Bergner.
In this article we develop the cotangent complex and (co)homology theories for spectral categories. Along the way, we reproduce standard model structures on spectral categories. As applications, we show that the invariants to descend to…
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…