a Department of Philosophy, Carnegie Mellon University, 135 Baker Hall, Pittsburgh, PA 15213, USA b The IT University in Copenhagen, Glentevej 67, DK-2400, Copenhagen NV, Denmark
Abstract:
We present a complete elementary axiomatization of local maps of toposes.