Showing math.CTShow all
2 papers · 1 filter
math.CT2026
A synthetic construction of universal cocartesian fibrations
Christian Sattler, David Wärn
We give a model-independent construction of directed univalent cocartesian fibrations of -categories, and prove a straightening equivalence against such fibrations. The…
math.CT2024
On internally projective sheaves of groups
David Wärn
A sheaf of modules on a site is said to be internally projective if sheaf hom with the module preserves epimorphism. In this note, we give an example showing that internally projec…