Showing 1–1 of 1 results for author: Briet, M

Arrow algebras

Authors: Benno van den Berg, Marcus Briet

Abstract: 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 well as various realizability toposes, in particular, those realizability toposes which are obtained from partial combinatory algebras. Since there are many examples of arrow algebras and arrow algebras have a number of cl… ▽ More 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 well as various realizability toposes, in particular, those realizability toposes which are obtained from partial combinatory algebras. Since there are many examples of arrow algebras and arrow algebras have a number of closure properties, including a notion of subalgebra given by a nucleus, arrow algebras provide a flexible tool for constructing toposes; we illustrate this by providing some general tools for creating toposes for Kreisel's modified realizability. △ Less

Submitted 10 January, 2025; v1 submitted 27 August, 2023; originally announced August 2023.

Comments: Revised version after comments by referee and Umberto Tarantino

MSC Class: 03B40; 03G30; 18B25; 18F70