It is known by results of Dyckerhoff-Kapranov and of Gálvez--Carrillo-Kock-Tonks that the output of the Waldhausen S.-construction has a unital 2-Segal structure. Here, we prove that a certain S.-functor defines an equivalence between the category of augmented stable double categories and the category of unital 2-Segal sets. The inverse equivalence is described explicitly by a path construction. We illustrate the equivalence for the known examples of partial monoids, cobordism categories with genus constraints and graph coalgebras.
In a previous paper, we showed that a discrete version of the $S_\bullet$-construction gives an equivalence of categories between unital 2-Segal sets and augmented stable double categories. Here, we generalize this result to the homotopical setting, by showing that there is a Quillen equivalence between a model category for unital 2-Segal objects and a model category for augmented stable double Segal objects which is given by an $S_\bullet$-construction. We show that this equivalence fits together with the result in the discrete case and briefly discuss how it encompasses other known $S_\bulle…
In this paper, we establish a multiplicative equivalence between two multiplicative algebraic $K$-theory constructions, Elmendorf and Mandell's version of Segal's $K$-theory and Blumberg and Mandell's version of Waldhausen's $S_\bullet$ construction. This equivalence implies that the ring spectra, algebra spectra, and module spectra constructed via these two classical algebraic $K$-theory functors are equivalent as ring, algebra or module spectra, respectively. It also allows for comparisions of spectrally enriched categories constructed via these definitions of $K$-theory. As both the Elmendo…
In previous work, we develop a generalized Waldhausen $S_{\bullet}$-construction whose input is an augmented stable double Segal space and whose output is a unital 2-Segal space. Here, we prove that this construction recovers the previously known $S_{\bullet}$-constructions for exact categories and for stable and exact $(\infty,1)$-categories, as well as the relative $S_{\bullet}$-construction for exact functors.
We introduce higher dimensional analogues of simplicial constructions due to Segal and Waldhausen, respectively producing the direct sum and algebraic $K$-theory spectra of an exact category. We then investigate their fibrancy properties, based on the formalism of higher Segal spaces by Dyckerhoff-Kapranov.
Hall algebras and related constructions have had diverse applications in mathematics and physics, ranging from representation theory and quantum groups to Donaldson-Thomas theory and the algebra of BPS states. The theory of $2$-Segal spaces was introduced independently by Dyckerhoff-Kapranov and Gálvez-Carrillo-Kock-Tonks as a unifying framework for Hall algebras: every $2$-Space defines an algebra in the $\infty$-category of spans, and different Hall algebras correspond to different linearisations of this universal Hall algebra. A recurring theme is that Hall algebras can often be equipped wi…
We prove that four different ways of defining Cartesian fibrations and the Cartesian model structure are all Quillen equivalent: On marked simplicial sets, on bisimplicial spaces, on bisimplicial sets, on marked simplicial spaces. The main way to prove these equivalences is by using the Quillen equivalences between quasi-categories and complete Segal spaces as defined by Joyal-Tierney and the straightening construction due to Lurie.
We propose a construction of the monoidal envelope of $\infty$-operads in the model of Segal dendroidal spaces, and use it to define cocartesian fibrations of such. We achieve this by viewing the dendroidal category as a "plus construction" of the category of pointed finite sets, and work in the more general language of algebraic patterns for Segal conditions. Finally, we rephrase Lurie's definition of cartesian structures as exhibiting the categorical fibrations coming from envelopes, and deduce a straightening/unstraightening equivalence for dendroidal spaces.
We show that the basic categorical concept of an S-algebra as derived from the theory of Segal's Gamma-sets provides a unifying description of several constructions attempting to model an algebraic geometry over the absolute point. It merges, in particular, the approaches using monoids, semirings and hyperrings as well as the development by means of monads and generalized rings in Arakelov geometry. The assembly map determines a functorial way to associate an S-algebra to a monad on pointed sets. The notion of an S-algebra is very familiar in algebraic topology where it also provides a suitabl…
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 …
In [MMO] (arXiv:1704.03413), we reworked and generalized equivariant infinite loop space theory, which shows how to construct $G$-spectra from $G$-spaces with suitable structure. In this paper, we construct a new variant of the equivariant Segal machine that starts from the category $\scr{F}$ of finite sets rather than from the category ${\scr{F}}_G$ of finite $G$-sets and which is equivalent to the machine studied by Shimakawa and in [MMO]. In contrast to the machine in [MMO], the new machine gives a lax symmetric monoidal functor from the symmetric monoidal category of $\scr{F}$-$G$-spaces t…
We produce a direct Quillen equivalence between two models of $(\infty,2)$-categories: the complete Segal $Θ_2$-spaces due to Rezk and the $2$-complicial sets due to Verity.
We compute the collection of CW-complexes in the model category of small categories constructed by Joyal and Tierney. More generally, if $X$ is a connected topological space, we show that the homotopy category of CW-complexes in Joyal-Tierney's model category of sheaves of sets on $X$ is equivalent to the homotopy category of groupoids. As an application of the ideas, we show that the algebraic $K$-theory groups of the category of pointed small categories are trivial, and more generally, the algebraic $K$-theory groups of any sufficiently "nice" Waldhausen category $\mathcal{A}$ of pointed sma…
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 compare two approaches to the homotopy theory of infinity-operads. One of them, the theory of dendroidal sets, is based on an extension of the theory of simplicial sets and infinity-categories which replaces simplices by trees. The other is based on a certain homotopy theory of marked simplicial sets over the nerve of Segal's category Gamma. In this paper we prove that for operads without constants these two theories are equivalent, in the precise sense of the existence of a zig-zag of Quillen equivalences between the respective model categories.
We establish a Quillen equivalence between the homotopy theories of equivariant Segal operads and equivariant simplicial operads with norm maps. Together with previous work, we further conclude that the homotopy coherent nerve is a right-Quillen equivalence from the model category of equivariant simplicial operads with norm maps to the model category structure for equivariant-$\infty$-operads in equivariant dendroidal sets.
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 propose a notion of weak (n+k,n)-category, which we call (n+k,n)-Theta-spaces. The (n+k,n)-Theta-spaces are precisely the fibrant objects of a certain model category structure on the category of presheaves of simplicial sets on Joyal's category Theta_n. This notion is a generalization of that of complete Segal spaces (which are precisely the (infty,1)-Theta-spaces). Our main result is that the above model category is cartesian.
Various models of $(\infty,1)$-categories, including quasi-categories, complete Segal spaces, Segal categories, and naturally marked simplicial sets can be considered as the objects of an $\infty$-cosmos. In a generic $\infty$-cosmos, whose objects we call $\infty$-categories, we introduce modules (also called profunctors or correspondences) between $\infty$-categories, incarnated as as spans of suitably-defined fibrations with groupoidal fibers. As the name suggests, a module from $A$ to $B$ is an $\infty$-category equipped with a left action of $A$ and a right action of $B$, in a suitable se…
We use the terms $\infty$-categories and $\infty$-functors to mean the objects and morphisms in an $\infty$-cosmos: a simplicially enriched category satisfying a few axioms, reminiscent of an enriched category of fibrant objects. Quasi-categories, Segal categories, complete Segal spaces, marked simplicial sets, iterated complete Segal spaces, $θ_n$-spaces, and fibered versions of each of these are all $\infty$-categories in this sense. Previous work in this series shows that the basic category theory of $\infty$-categories and $\infty$-functors can be developed only in reference to the axioms …
We use the terms "$\infty$-categories" and "$\infty$-functors" to mean the objects and morphisms in an "$\infty$-cosmos." Quasi-categories, Segal categories, complete Segal spaces, naturally marked simplicial sets, iterated complete Segal spaces, $θ_n$-spaces, and fibered versions of each of these are all $\infty$-categories in this sense. We show that the basic category theory of $\infty$-categories and $\infty$-functors can be developed from the axioms of an $\infty$-cosmos; indeed, most of the work is internal to a strict 2-category of $\infty$-categories, $\infty$-functors, and natural tra…
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 …
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 …
In this paper we describe two ways on which cofibred categories give rise to bisimplicial sets. The "fibred nerve" is a natural extension of Segal's classical nerve of a category, and it constitutes an alternative simplicial description of the homotopy type of the total category. If the fibration is splitting, then one can construct the "cleaved nerve", a smaller variant which emerges from a distinguished closed cleavage. We interpret some classical theorems by Thomason and Quillen in terms of our constructions, and use the fibred and cleaved nerve to establish new results on homotopy and homo…
