5 citations · 14 across the 18 of their papers we have counts for
19 papers
A model structure for cartesian 2-fibrations
Cesar Bardomiano Martinez, Jana K. Nickel, Maru Sarazola +3
Cartesian 2-fibrations provide a way to understand indexed categories, but their classical ``straightening'' construction requires several layers of weak coherence data. This paper…
A comparison of definitions of equivariant trees
Julia E. Bergner, Maxine E. Calle, David Chan +2
We show that various categories of trees can be modeled by Grothendieck constructions on categories of trees with a fixed set of leaves. We prove this result for the dendroidal cat…
Double categorical equivalences
Lyne Moser, Maru Sarazola, Paula Verdugo
We present an efficient and user-friendly method for constructing any cofibrantly generated model structure on the category of double categories whose trivial fibrations are the "c…
Thomason's colimit theorem for the double category of elements
Andrew Gill, Maru Sarazola
We show that, for any 2-category and 2-functor , the double category of elements introduced by Grandis and Paré satisfies a version of Thomason's…
A combinatorial construction of homology via ACGW categories
Maru Sarazola, Brandon Shapiro, Inna Zakharevich
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…
Squares K-theory and 2-Segal spaces
Maxine E. Calle, Maru Sarazola
We define an -construction for squares categories, and introduce a class of squares categories we call "proto-Waldhausen" which capture the properties required for the $…
A concise proof of the stable model structure on symmetric spectra
Cary Malkiewich, Maru Sarazola
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 tra…
Internal Grothendieck construction for enriched categories
Lyne Moser, Maru Sarazola, Paula Verdugo
Given a cartesian closed category , we introduce an internal category of elements associated to a -functor $F\colon \mathcal{C}^{\mat…
A model structure for Grothendieck fibrations
Lyne Moser, Maru Sarazola
We construct two model structures, whose fibrant objects capture the notions of discrete fibrations and of Grothendieck fibrations over a category . For the discrete c…
Equivariant Trees and Partition Complexes
Julia E. Bergner, Peter Bonventre, Maxine E. Calle +2
We introduce two definitions of -equivariant partitions of a finite -set, both of which yield -equivariant partition complexes. By considering suitable notions of equivari…
Fibrantly-transferred model structures
Léonard Guetta, Lyne Moser, Maru Sarazola +1
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 t…
Cofibration category of digraphs for path homology
Daniel Carranza, Brandon Doherty, Chris Kapulkin +3
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 pat…
Additivity and Fiber Sequences for Combinatorial K-Theory
Maru Sarazola, Brandon T. Shapiro
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 -theory. These str…
A model structure for weakly horizontally invariant double categories
Lyne Moser, Maru Sarazola, Paula Verdugo
We construct a model structure on the category of double categories and double functors, whose trivial fibrations are the double functors that are surjective on o…
A 2Cat-inspired model structure for double categories
Lyne Moser, Maru Sarazola, Paula Verdugo
We construct a model structure on the category of double categories and double functors. Unlike previous model structures for double categories, it recovers the h…
Stable homotopy hypothesis in the Tamsamani model
Lyne Moser, Viktoriya Ozornova, Simona Paoli +2
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 mod…
Cotorsion pairs and a -theory Localization Theorem
Maru Sarazola
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 Waldhause…
A recipe for black box functors
Brendan Fong, Maru Sarazola
The task of constructing compositional semantics for network-style diagrammatic languages, such as electrical circuits or chemical reaction networks, has been dubbed the black boxi…
Biochemical Coupling Through Emergent Conservation Laws
John C. Baez, Blake S. Pollard, Jonathan Lorand +1
Bazhin has analyzed ATP coupling in terms of quasiequilibrium states where fast reactions have reached an approximate steady state while slow reactions have not yet reached equilib…