Elementary Axioms for Local Maps of Toposes
S. Awodey and L. Birkedal
Abstract
We present a complete elementary axiomatization of local maps of toposes.