# 紧 Hausdorff 空间范畴　`def.chaus`
紧 Hausdorff 空间范畴 $\mathbf{CHaus}$
layer 15 · 定义 · 紧 Hausdorff 空间 · 拓扑学
[在星图里打开](../#n=def.chaus)　·　[节点索引](../index.md)

**紧 Hausdorff 空间**是既紧又 Hausdorff 的拓扑空间。以它们为对象、连续映射为态射，得到范畴 $\mathbf{CHaus}$。含入函子记 $\mathbf{CHaus} \hookrightarrow \mathbf{Top}$。

## 为什么成立（入边，证明在 proofs/）
- [`def.compact`](../nodes/def.compact.md) 紧：用到了定义 紧　[proofs/def-dep.compact-chaus.md](../proofs/def-dep.compact-chaus.md)
- [`def.hausdorff`](../nodes/def.hausdorff.md) Hausdorff 空间：用到了定义 Hausdorff 空间　[proofs/def-dep.hausdorff-chaus.md](../proofs/def-dep.hausdorff-chaus.md)

- …另有入边，续页见 [nodes/def.chaus.2.md](./def.chaus.2.md)

## 它能推出什么 / 谁在用它
- …另有出边，续页见 [nodes/def.chaus.3.md](./def.chaus.3.md)

refs: Le Stum, An introduction to condensed mathematics, §2.1–2.2

> 说明见 `notes/def.chaus.md`

引用：`def.chaus`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)