pro-集与阿贝尔pro-群的预余层是光滑的
代数拓扑
2016-05-06 v2
摘要
设 为pro-集（或阿贝尔pro-群）的范畴。证明了对于任意Grothendieck景 ，存在从 上取值于 的预余层范畴到余层满子范畴的反射子。在拓扑空间上的预余层情形中，证明了任何预余层都是光滑的，即局部同构于一个余层。构造了常余层，并建立了与形状理论的联系。
引用
@article{arxiv.1105.3167,
title = {Precosheaves of pro-sets and abelian pro-groups are smooth},
author = {Andrei V. Prasolov},
journal= {arXiv preprint arXiv:1105.3167},
year = {2016}
}