5 citations · 14 across the 18 of their papers we have counts for
5 papers · 1 filter
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…
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…
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…
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…