4 papers
Quasitoposes as elementary quotient completions
Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
The elementary quotient completion of an elementary doctrine in the sense of Lawvere was introduced in previous work by the first and third authors. It generalises the exact comple…
On the Compatibility of Constructive Predicative Mathematics with Weyl's Classical Predicativity
Michele Contente, Maria Emilia Maietti
It is well known that most constructive and predicative foundations aiming to develop Bishop's constructive analysis are incompatible with a classical predicative development of an…
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 through the Hyland-Johnstone-Pitts tripos-to-topos construction. We investig…
Fibred sets within a predicative and constructive effective topos
Cipriano Junior Cioffo, Maria Emilia Maietti, Samuele Maschio
We describe the fibrational structure of sets within the predicative variant of Hyland's Effective Topos previously introduced in Feferman's predicat…