Showing math.CTShow all
2 papers · 1 filter
math.CT2024
The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
Wijnand van Woerkom, Benno van den Berg
If a locally cartesian closed category carries a weak factorisation system, then the left maps are stable under pullback along right maps if and only if the right maps are closed u…
math.CT2023
Arrow algebras
Benno van den Berg, Marcus Briet
In this paper we introduce arrow algebras, simple algebraic structures which induce elementary toposes through the tripos-to-topos construction. This includes localic toposes as we…