1 paper · 1 filter
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…