An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part defines an Exponential Ideal
Category Theory
2022-03-11 v3
Abstract
We describe an essential local geometric morphism which is not locally connected, though its inverse image part defines an exponential ideal
Cite
@article{arxiv.2105.10143,
title = {An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part defines an Exponential Ideal},
author = {Richard Garner and Thomas Streicher},
journal= {arXiv preprint arXiv:2105.10143},
year = {2022}
}
Comments
This is a preliminary version of the paper which has appeared at TAC. It contains a modification of the second counterexample as required by one of the reviewers. A few typos have been corrected in March 2022