23 citations · 34 across the 7 of their papers we have counts for
Showing 2012 · math.CTShow all
2 papers · 2 filters
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…