Elementary axioms for local maps of toposes (2003)

by S Awodey, L Birkedal
Venue:Journal of Pure and Applied Algebra