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