open geometric morphism
Could not include topos theory - contents
The notion of open geometric morphism is the notion of open map for geometric morphisms between toposes.
A geometric morphism
is called open if the following equivalent conditions holds
Peter Johnstone, Open maps of toposes, Manuscripta Mathematica, Volume 31, Numbers 1-3
André Joyal, Myles Tierney, An extension of the Galois theory of Grothendieck, Mem. Amer. Math. Soc. 309 (1984).
Revised on February 13, 2012 15:58:39
by Urs Schreiber