3 citations · 5 across the 5 of their papers we have counts for
6 papers
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…
A predicative variant of Hyland's Effective Topos
Maria Emilia Maietti, Samuele Maschio
Here, we present a subcategory pEff of Hyland's Effective Topos Eff which can be considered a predicative variant of Eff itself. The construction of pEff is motivated by the desire…
An extensional Kleene realizability semantics for the Minimalist Foundation
Maria Emilia Maietti, Samuele Maschio
We build a Kleene realizability semantics for the two-level Minimalist Foundation MF, ideated by Maietti and Sambin in 2005 and completed by Maietti in 2009. Thanks to this semanti…
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…
Convergence in Formal Topology: a unifying notion
Francesco Ciraulo, Maria Emilia Maietti, Giovanni Sambin
Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that o…
Subspaces of an arithmetic universe via type theory
Maria Emilia Maietti
We define the notion of subspace of an arithmetic universe by using its internal dependent type theory.