论集合的消退上层
一般拓扑
2007-05-23 v1 范畴论
摘要
我们证明,在 sober 拓扑空间 上 Set 中的消退上层的范畴等价于范畴 Sett,后者与 Set 有相同对象类,但通常有更宽的态射类。我们也证明逆命题:若 -空间 上的每个上层都同构于某个取值于 的适当映射的管上层,则 是 sober 的。
引用
@article{arxiv.math/9901103,
title = {On Faded Cosheaves of Sets},
author = {Alexei Zouboff},
journal= {arXiv preprint arXiv:math/9901103},
year = {2007}
}
备注
AMS-LaTeX, 3 pages, corrected abstract