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

##article.return## An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction Download Download PDF