Showing math.CTShow all
3 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.CT2016
Hilbertian Toposes Epsilon Toposes
Fabio Pasquali
We study Hilbert's epsilon calculus and Hilbert's partial epsilon calculus in toposes.
math.CT2016
A tripos based on compact Hausdorff spaces
Fabio Pasquali
The category of compact Hausdorff spaces is the base of tripos. As such it can be freely completed to an elementary topos.