An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part is an Exponential Ideal

Richard Garner and Thomas Streicher

We give examples of essential local geometric morphisms which are not locally connected although their inverse image parts give rise to exponential ideals.

Keywords: toposes, geometric morphisms, locally connected, hyperconnected, local

2020 MSC: 18B25

Theory and Applications of Categories, Vol. 37, 2021, No. 26, pp 908-913.

Published 2021-07-20.

http://www.tac.mta.ca/tac/volumes/37/26/37-26.pdf