An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction

Maria Emilia Maietti, Davide Trotta

Localic and realizability toposes are two central classes of toposes in categorical logic, both arising from the Hyland, Johnstone and Pitts tripos-to-topos construction. We invest…