-
Thomason's colimit theorem for the double category of elements
Authors:
Andrew Gill,
Maru Sarazola
Abstract:
We show that, for any 2-category $C$ and 2-functor $F\colon C \to Cat$, the double category of elements $\iint_C F$ introduced by Grandis and Paré satisfies a version of Thomason's colimit theorem; that is, there is a weak homotopy equivalence $B hocolim F\simeq B(\iint_C F)$.
We show that, for any 2-category $C$ and 2-functor $F\colon C \to Cat$, the double category of elements $\iint_C F$ introduced by Grandis and Paré satisfies a version of Thomason's colimit theorem; that is, there is a weak homotopy equivalence $B hocolim F\simeq B(\iint_C F)$.
△ Less
Submitted 9 June, 2025;
originally announced June 2025.
-
A combinatorial construction of homology via ACGW categories
Authors:
Maru Sarazola,
Brandon Shapiro,
Inna Zakharevich
Abstract:
2-Segal spaces arise not only from $S_\dotp$-constructions associated to Waldhausen and (proto) exact categories, but also from $S_\dotp$-constructions associated to certain double-categorical structures. A major step in this direction is due to the work of Bergner--Osorno--Ozornova--Rovelli--Scheimbauer, who propose augmented stable double Segal objects as a natural input for an $S_\dotp$-constru…
▽ More
2-Segal spaces arise not only from $S_\dotp$-constructions associated to Waldhausen and (proto) exact categories, but also from $S_\dotp$-constructions associated to certain double-categorical structures. A major step in this direction is due to the work of Bergner--Osorno--Ozornova--Rovelli--Scheimbauer, who propose augmented stable double Segal objects as a natural input for an $S_\dotp$-construction. More recently, another such input has been put forth: ACGW categories. ACGW categories have the advantage that they are combinatorial in nature (as opposed to homotopical or algebraic), and thus have fewer difficult coherence issues to work with. The goal of this paper is to introduce the reader to the key ideas and techniques for working with ACGW categories. To do so, we focus on how homology theory generalizes to ACGW categories, particularly in the central example of finite sets. We show how the ACGW formalism can be used to produce various classical homological algebra results such as the Snake lemma and long exact sequences of relative pairs.
△ Less
Submitted 30 September, 2024;
originally announced October 2024.
-
Squares K-theory and 2-Segal spaces
Authors:
Maxine E. Calle,
Maru Sarazola
Abstract:
We define an $S_\bullet$-construction for squares categories, and introduce a class of squares categories we call "proto-Waldhausen" which capture the properties required for the $S_\bullet$-construction to model the K-theory space. The primary question we investigate is when the $S_\bullet$-construction of a squares category produces a 2-Segal space. We show that the answer to this question is af…
▽ More
We define an $S_\bullet$-construction for squares categories, and introduce a class of squares categories we call "proto-Waldhausen" which capture the properties required for the $S_\bullet$-construction to model the K-theory space. The primary question we investigate is when the $S_\bullet$-construction of a squares category produces a 2-Segal space. We show that the answer to this question is affirmative when the squares category satisfies certain "stability" conditions. In an appendix, we discuss a version of Waldhausen's additivity theorem for squares K-theory.
△ Less
Submitted 24 September, 2024;
originally announced September 2024.
-
A concise proof of the stable model structure on symmetric spectra
Authors:
Cary Malkiewich,
Maru Sarazola
Abstract:
It is well-known that the stable model structure on symmetric spectra cannot be transferred from the one on sequential spectra through the forgetful functor. We use the fibrant transfer theorem of Guetta--Moser--Sarazola--Verdugo to show it can be transferred between fibrant objects, providing a new, short and conceptual proof of its existence.
It is well-known that the stable model structure on symmetric spectra cannot be transferred from the one on sequential spectra through the forgetful functor. We use the fibrant transfer theorem of Guetta--Moser--Sarazola--Verdugo to show it can be transferred between fibrant objects, providing a new, short and conceptual proof of its existence.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
Internal Grothendieck construction for enriched categories
Authors:
Lyne Moser,
Maru Sarazola,
Paula Verdugo
Abstract:
Given a cartesian closed category $\mathcal{V}$, we introduce an internal category of elements $\int_\mathcal{C} F$ associated to a $\mathcal{V}$-functor $F\colon \mathcal{C}^{\mathrm{op}}\to \mathcal{V}$. When $\mathcal{V}$ is extensive, we show that this internal Grothendieck construction gives an equivalence of categories between $\mathcal{V}$-functors…
▽ More
Given a cartesian closed category $\mathcal{V}$, we introduce an internal category of elements $\int_\mathcal{C} F$ associated to a $\mathcal{V}$-functor $F\colon \mathcal{C}^{\mathrm{op}}\to \mathcal{V}$. When $\mathcal{V}$ is extensive, we show that this internal Grothendieck construction gives an equivalence of categories between $\mathcal{V}$-functors $\mathcal{C}^{\mathrm{op}}\to \mathcal{V}$ and internal discrete fibrations over $\mathcal{C}$, which can be promoted to an equivalence of $\mathcal{V}$-categories.
Using this construction, we prove a representation theorem for $\mathcal{V}$-categories, stating that a $\mathcal{V}$-functor $F\colon \mathcal{C}^{\mathrm{op}}\to \mathcal{V}$ is $\mathcal{V}$-representable if and only if its internal category of elements $\int_\mathcal{C} F$ has an internal terminal object. We further obtain a characterization formulated completely in terms of $\mathcal{V}$-categories using shifted $\mathcal{V}$-categories of elements. Moreover, in the presence of $\mathcal{V}$-tensors, we show that it is enough to consider $\mathcal{V}$-terminal objects in the underlying $\mathcal{V}$-category $\mathrm{Und}\int_\mathcal{C} F$ to test the representability of a $\mathcal{V}$-functor $F$. We apply these results to the study of weighted $\mathcal{V}$-limits, and also obtain a novel result describing weighted $\mathcal{V}$-limits as certain conical internal limits.
△ Less
Submitted 28 August, 2023;
originally announced August 2023.
-
A model structure for Grothendieck fibrations
Authors:
Lyne Moser,
Maru Sarazola
Abstract:
We construct two model structures, whose fibrant objects capture the notions of discrete fibrations and of Grothendieck fibrations over a category $\mathcal{C}$. For the discrete case, we build a model structure on the slice $\mathrm{Cat}_{/\mathcal{C}}$, Quillen equivalent to the projective model structure on $[\mathcal{C}^{\mathrm{op}},\mathrm{Set}]$ via the classical category of elements constr…
▽ More
We construct two model structures, whose fibrant objects capture the notions of discrete fibrations and of Grothendieck fibrations over a category $\mathcal{C}$. For the discrete case, we build a model structure on the slice $\mathrm{Cat}_{/\mathcal{C}}$, Quillen equivalent to the projective model structure on $[\mathcal{C}^{\mathrm{op}},\mathrm{Set}]$ via the classical category of elements construction. The cartesian case requires the use of markings, and we define a model structure on the slice $\mathrm{Cat}^+_{/\mathcal{C}}$, Quillen equivalent to the projective model structure on $[\mathcal{C}^{\mathrm{op}},\mathrm{Cat}]$ via a marked version of the Grothendieck construction.
We further show that both of these model structures have the expected interactions with their $\infty$-counterparts; namely, with the contravariant model structure on $\mathrm{sSet}_{/ N\mathcal{C}}$ and with Lurie's cartesian model structure on $\mathrm{sSet}^+_{/ N\mathcal{C}}$.
△ Less
Submitted 30 April, 2024; v1 submitted 19 June, 2023;
originally announced June 2023.
-
Equivariant Trees and Partition Complexes
Authors:
Julia E. Bergner,
Peter Bonventre,
Maxine E. Calle,
David Chan,
Maru Sarazola
Abstract:
We introduce two definitions of $G$-equivariant partitions of a finite $G$-set, both of which yield $G$-equivariant partition complexes. By considering suitable notions of equivariant trees, we show that $G$-equivariant partitions and $G$-trees are $G$-homotopy equivalent, generalizing existing results for the non-equivariant setting. Along the way, we develop equivariant versions of Quillen's The…
▽ More
We introduce two definitions of $G$-equivariant partitions of a finite $G$-set, both of which yield $G$-equivariant partition complexes. By considering suitable notions of equivariant trees, we show that $G$-equivariant partitions and $G$-trees are $G$-homotopy equivalent, generalizing existing results for the non-equivariant setting. Along the way, we develop equivariant versions of Quillen's Theorems A and B, which are of independent interest.
△ Less
Submitted 17 February, 2023;
originally announced February 2023.
-
Fibrantly-induced model structures
Authors:
Léonard Guetta,
Lyne Moser,
Maru Sarazola,
Paula Verdugo
Abstract:
We develop new techniques for constructing model structures from a given class of cofibrations, together with a class of fibrant objects and a choice of weak equivalences between them. As a special case, we obtain a more flexible version of the classical right-induction theorem in the presence of an adjunction. Namely, instead of lifting the classes of fibrations and weak equivalences through the…
▽ More
We develop new techniques for constructing model structures from a given class of cofibrations, together with a class of fibrant objects and a choice of weak equivalences between them. As a special case, we obtain a more flexible version of the classical right-induction theorem in the presence of an adjunction. Namely, instead of lifting the classes of fibrations and weak equivalences through the right adjoint, we now only do so between fibrant objects, which allows for a wider class of applications.
We use these new tools to exhibit three examples of model structures on $\mathrm{DblCat}$, the category of double categories and double functors. First, we recover the weakly horizontally invariant model structure introduced by the last three named authors in [MSV22b]. Next, we define a new model structure that makes the square functor $\mathrm{Sq}\colon2\mathrm{Cat}\to\mathrm{DblCat}$ into a Quillen equivalence, providing a double categorical model for the homotopy theory of 2-categories. Finally, we give an example where a fibrantly-induced model structure exists, but the right-induced one does not.
△ Less
Submitted 18 January, 2023;
originally announced January 2023.
-
Cofibration category of digraphs for path homology
Authors:
Daniel Carranza,
Brandon Doherty,
Chris Kapulkin,
Morgan Opie,
Maru Sarazola,
Liang Ze Wong
Abstract:
We prove that the category of directed graphs and graph maps carries a cofibration category structure in which the weak equivalences are the graph maps inducing isomorphisms on path homology.
We prove that the category of directed graphs and graph maps carries a cofibration category structure in which the weak equivalences are the graph maps inducing isomorphisms on path homology.
△ Less
Submitted 23 December, 2022;
originally announced December 2022.
-
Additivity and Fiber Sequences for Combinatorial K-Theory
Authors:
Maru Sarazola,
Brandon T. Shapiro
Abstract:
The (A)CGW categories of Campbell and Zakharevich show how finite sets and varieties behave like the objects of an exact category for the purpose of algebraic $K$-theory. These structures admit a well-behaved Q-construction akin to Quillen's, and satisfy analogues of the Dévissage and Localization theorems. In this work, we modify Campbell and Zakharevich's axioms to obtain a framework called ECGW…
▽ More
The (A)CGW categories of Campbell and Zakharevich show how finite sets and varieties behave like the objects of an exact category for the purpose of algebraic $K$-theory. These structures admit a well-behaved Q-construction akin to Quillen's, and satisfy analogues of the Dévissage and Localization theorems. In this work, we modify Campbell and Zakharevich's axioms to obtain a framework called ECGW categories that allows for an $S_\bullet$-construction akin to Waldhausen's, and show how it produces a K-theory spectrum which satisfies an analogue of the Additivity Theorem. We also define a notion of ``relative ECGW categories'' which have weak equivalences determined by a subcategory of acyclic objects satisfying minimal conditions; these satisfy analogues of the Fibration and Localization Theorems that generalize previous versions in the literature. We illustrate these results with examples including exact categories, extensive categories, algebraic varieties, and polytopes up to scissors congruence.
△ Less
Submitted 25 April, 2025; v1 submitted 16 July, 2021;
originally announced July 2021.
-
A model structure for weakly horizontally invariant double categories
Authors:
Lyne Moser,
Maru Sarazola,
Paula Verdugo
Abstract:
We construct a model structure on the category $\mathrm{DblCat}$ of double categories and double functors, whose trivial fibrations are the double functors that are surjective on objects, full on horizontal and vertical morphisms, and fully faithful on squares; and whose fibrant objects are the weakly horizontally invariant double categories.
We show that the functor…
▽ More
We construct a model structure on the category $\mathrm{DblCat}$ of double categories and double functors, whose trivial fibrations are the double functors that are surjective on objects, full on horizontal and vertical morphisms, and fully faithful on squares; and whose fibrant objects are the weakly horizontally invariant double categories.
We show that the functor $\mathbb H^{\simeq}\colon \mathrm{2Cat}\to \mathrm{DblCat}$, a more homotopical version of the usual horizontal embedding $\mathbb H$, is right Quillen and homotopically fully faithful when considering Lack's model structure on $\mathrm{2Cat}$. In particular, $\mathbb H^{\simeq}$ exhibits a levelwise fibrant replacement of $\mathbb H$. Moreover, Lack's model structure on $\mathrm{2Cat}$ is right-induced along $\mathbb H^{\simeq}$ from the model structure for weakly horizontally invariant double categories.
We also show that this model structure is monoidal with respect to Böhm's Gray tensor product. Finally, we prove a Whitehead Theorem characterizing the weak equivalences with fibrant source as the double functors which admit a pseudo inverse up to horizontal pseudo natural equivalence.
△ Less
Submitted 1 May, 2021; v1 submitted 1 July, 2020;
originally announced July 2020.
-
A 2Cat-inspired model structure for double categories
Authors:
Lyne Moser,
Maru Sarazola,
Paula Verdugo
Abstract:
We construct a model structure on the category $\mathrm{DblCat}$ of double categories and double functors. Unlike previous model structures for double categories, it recovers the homotopy theory of 2-categories through the horizontal embedding $\mathbb{H}\colon2\mathrm{Cat}\to\mathrm{DblCat}$, which is both left and right Quillen, and homotopically fully faithful. Furthermore, we show that Lack's…
▽ More
We construct a model structure on the category $\mathrm{DblCat}$ of double categories and double functors. Unlike previous model structures for double categories, it recovers the homotopy theory of 2-categories through the horizontal embedding $\mathbb{H}\colon2\mathrm{Cat}\to\mathrm{DblCat}$, which is both left and right Quillen, and homotopically fully faithful. Furthermore, we show that Lack's model structure on $2\mathrm{Cat}$ is both left- and right-induced along $\mathbb{H}$ from our model structure on $\mathrm{DblCat}$. In addition, we obtain a $2\mathrm{Cat}$-enrichment of our model structure on $\mathrm{DblCat}$, by using a variant of the Gray tensor product.
Under certain conditions, we prove a Whitehead theorem, characterizing our weak equivalences as the double functors which admit an inverse pseudo double functor up to horizontal pseudo natural equivalence. This retrieves the Whitehead theorem for 2-categories.
Analogous statements hold for the category $\mathrm{wkDblCat}_s$ of weak double categories and strict double functors, whose homotopy theory recovers that of bicategories. Moreover, we show that the full embedding $\mathrm{DblCat}\to\mathrm{wkDblCat}_s$ is a Quillen equivalence.
△ Less
Submitted 1 May, 2021; v1 submitted 29 April, 2020;
originally announced April 2020.
-
Stable homotopy hypothesis in the Tamsamani model
Authors:
Lyne Moser,
Viktoriya Ozornova,
Simona Paoli,
Maru Sarazola,
Paula Verdugo
Abstract:
We prove that symmetric monoidal weak n-groupoids in the Tamsamani model provide a model for stable n-types. Moreover, we recover the classical statement that Picard categories model stable 1-types.
We prove that symmetric monoidal weak n-groupoids in the Tamsamani model provide a model for stable n-types. Moreover, we recover the classical statement that Picard categories model stable 1-types.
△ Less
Submitted 13 June, 2020; v1 submitted 15 January, 2020;
originally announced January 2020.
-
Cotorsion pairs and a $K$-theory Localization Theorem
Authors:
Maru Sarazola
Abstract:
We show that a complete hereditary cotorsion pair $(\C,\C^\bot)$ in an exact category $\E$, together with a subcategory $\Z\subseteq\E$ containing $\C^\bot$, determines a Waldhausen category structure on the exact category $\C$, in which $\Z$ is the class of acyclic objects.
This allows us to prove a new version of Quillen's Localization Theorem, relating the $K$-theory of exact categories…
▽ More
We show that a complete hereditary cotorsion pair $(\C,\C^\bot)$ in an exact category $\E$, together with a subcategory $\Z\subseteq\E$ containing $\C^\bot$, determines a Waldhausen category structure on the exact category $\C$, in which $\Z$ is the class of acyclic objects.
This allows us to prove a new version of Quillen's Localization Theorem, relating the $K$-theory of exact categories $\A\subseteq\B$ to that of a cofiber. The novel idea in our approach is that, instead of looking for an exact quotient category that serves as the cofiber, we produce a Waldhausen category, constructed through a cotorsion pair. Notably, we do not require $\A$ to be a Serre subcategory, which produces new examples.
Due to the algebraic nature of our Waldhausen categories, we are able to recover a version of Quillen's Resolution Theorem, now in a more homotopical setting that allows for weak equivalences.
△ Less
Submitted 17 April, 2020; v1 submitted 1 November, 2019;
originally announced November 2019.
-
A recipe for black box functors
Authors:
Brendan Fong,
Maru Sarazola
Abstract:
The task of constructing compositional semantics for network-style diagrammatic languages, such as electrical circuits or chemical reaction networks, has been dubbed the black boxing problem, as it gives semantics that describes the properties of each network that can be observed externally, by composition, while discarding the internal structure. One way to solve these problems is to formalise th…
▽ More
The task of constructing compositional semantics for network-style diagrammatic languages, such as electrical circuits or chemical reaction networks, has been dubbed the black boxing problem, as it gives semantics that describes the properties of each network that can be observed externally, by composition, while discarding the internal structure. One way to solve these problems is to formalise the diagrams and their semantics using hypergraph categories, with semantic interpretation a hypergraph functor, called the black box functor, between them. Reviewing a principled method for constructing hypergraph categories and functors, known as decorated corelations, in this paper we construct a category of \emph{decorating data}, and show that the decorated corelations method is itself functorial, with a universal property characterised by a left Kan extension. We then argue that the category of decorating data is a good setting in which to construct any hypergraph functor, giving a new construction of Baez and Pollard's black box functor for reaction networks as an example.
△ Less
Submitted 9 December, 2018;
originally announced December 2018.
