# 投射有限集即投射有限空间　`prop.profinite-sets-spaces`
命题：有限集的 pro-对象 $\simeq$ 投射有限空间
layer 13 · 命题 · Stone 与 Stonean · 拓扑学
[在星图里打开](../#n=prop.profinite-sets-spaces)　·　[节点索引](../index.md)

有限集合范畴的 **pro-对象**所成范畴，与**投射有限空间**所成范畴**等价**。

## 为什么成立（入边，证明在 proofs/）
- [`def.profinite`](../nodes/def.profinite.md) 投射有限空间：用到了定义 投射有限空间　[proofs/def-link.profset-profinite.md](../proofs/def-link.profset-profinite.md)

refs: Le Stum, An introduction to condensed mathematics, Exercise 2.21

> 说明见 `notes/prop.profinite-sets-spaces.md`

引用：`prop.profinite-sets-spaces`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)