23 citations · 34 across the 7 of their papers we have counts for
Showing 2012Show all
3 papers · 1 filter
math.CT2012★ 2 cited
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…
math.CT2012★ 23 cited
Elementary quotient completion
Maria Emilia Maietti, Giuseppe Rosolini
We extend the notion of exact completion on a weakly lex category to elementary doctrines. We show how any such doctrine admits an elementary quotient completion, which freely adds…
math.LO2012★ 1 cited
Quotient completion for the foundation of constructive mathematics
Maria Emilia Maietti, Giuseppe Rosolini
We apply some tools developed in categorical logic to give an abstract description of constructions used to formalize constructive mathematics in foundations based on intensional t…