Locale范畴是刚性的
范畴论
2011-04-14 v1
摘要
在本文中，我们证明了Frame范畴，从而也即Locale范畴，是“刚性的”。这意味着其上的每一个自同构等价都同构于恒等函子。为了得到这个结果，我们证明了关于Frame之间自同构数量的新结论，以及关于自同构等价的保序性质的新结论。
引用
@article{arxiv.1104.2360,
title = {The Category of Locales is Rigid},
author = {John Iskra},
journal= {arXiv preprint arXiv:1104.2360},
year = {2011}
}