The Category of Locales is Rigid
Category Theory
2011-04-14 v1
Abstract
In this paper we show that the category of frames, and, thus, the cate- gory of locales is 'rigid'. This means that every endo-equivalence on them is isomorphic to the identity functor. To reach this result we prove new results concerning the number of automorphisms between frames and new results concerning the order preserving properties of endo-equivalences.
Keywords
Cite
@article{arxiv.1104.2360,
title = {The Category of Locales is Rigid},
author = {John Iskra},
journal= {arXiv preprint arXiv:1104.2360},
year = {2011}
}