3 citations · 5 across the 8 of their papers we have counts for
4 papers · 1 filter
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…
Quotients, pure existential completions and arithmetic universes
Maria Emilia Maietti, Davide Trotta
We provide a new description of Joyal's arithmetic universes through a characterization of the exact and regular completions of pure existential completions. We show that the regul…
Generalized existential completions and their regular and exact completions
Maria Emilia Maietti, Davide Trotta
This paper aims to apply the tool of generalized existential completions of conjunctive doctrines, concerning a class of morphisms of their base category, to deepen the study o…
Unifying exact completions
Maria Emilia Maietti, Giuseppe Rosolini
We define the notion of exact completion with respect to an existential elementary doctrine. We observe that the forgetful functor from the 2-category exact categories to existenti…