2-滤过性与每个 Galois 拓扑斯的点
范畴论
2008-01-03 v1 代数几何
摘要
如果一个拓扑斯由 Galois 对象生成,则称其为 Galois 拓扑斯。我们证明了任何连通局部连通拓扑斯中 Galois 对象的满子范畴是一个逆 2-滤过 2-范畴,并作为拓扑斯 2-滤过双极限构造的一个应用,证明了每个 Galois 拓扑斯都有一个点。
引用
@article{arxiv.0801.0010,
title = {2-filteredness and the point of every Galois topos},
author = {Eduardo J. Dubuc},
journal= {arXiv preprint arXiv:0801.0010},
year = {2008}
}
备注
5 pages, result presented at CT2007, Cavoeiro