2 citations · 2 across the 1 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2020
A characterisation of elementary fibrations
Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini
Grothendieck fibrations provide a unifying algebraic framework that underlies the treatment of various form of logics, such as first order logic, higher order logics and dependent…
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…