中文

论集合的消退上层

一般拓扑 2007-05-23 v1 范畴论

摘要

我们证明,在 sober 拓扑空间 (B,Ω)(B,\Omega) 上 Set 中的消退上层的范畴等价于范畴 Sett(B,Ω)(B,\Omega),后者与 Set/B / B 有相同对象类,但通常有更宽的态射类。我们也证明逆命题:若 T0T_0-空间 (B,Ω)(B,\Omega) 上的每个上层都同构于某个取值于 (B,Ω)(B,\Omega) 的适当映射的管上层,则 (B,Ω)(B,\Omega) 是 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