Date of Original Version
11-18-1999
Type
Technical Report
Abstract or Table of Contents
We present a complete elementary axiomatization of local maps of toposes.
11-18-1999
Technical Report
We present a complete elementary axiomatization of local maps of toposes.
Comments
CMU-PHIL-103