5 citations · 11 across the 12 of their papers we have counts for
12 papers
A multiplicative universal property for real algebraic -theory
Hadrian Heine, Markus Spitzweck, Paula Verdugo
We prove that the real -theory functor is lax symmetric monoidal. Moreover, it is initial among those real functors that a…
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…
Realizing compatible pairs of transfer systems by combinatorial -operads
David Chan, Myungsin Cho, David Mehrle +4
We investigate how the notions of pairings of operads of May and compatible pairs of indexing systems of Blumberg--Hill relate via the correspondence between indexing systems and $…
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…
On the equivalence invariance of formal category theory
Paula Verdugo
We prove a result of equivalence invariance of formal category theory for statements that can be expressed within an equipment. To do this, we exploit Henry and Bardomiano Martínez…
An equivalence between two frameworks for real algebraic K-theory
Hadrian Heine, Markus Spitzweck, Paula Verdugo
We prove an equivalence between the real -theory genuine -spectra of Calmès et al. for Poincaré -categories and the one of the authors of this work for Waldhausen $…
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…
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…
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…
Real K-theory for Waldhausen infinity categories with genuine duality
Hadrian Heine, Markus Spitzweck, Paula Verdugo
We develop a new framework to study real -theory in the context of -categories. For this, we introduce Waldhausen -categories with genuine duality, which will be…