# 紧生成空间是余反射子范畴　`prop.cg-coreflective`
紧生成空间是 $\mathbf{Top}$ 的余反射子范畴
layer 18 · 命题 · 紧生成空间与弱 Hausdorff · 拓扑学
[在星图里打开](../#n=prop.cg-coreflective)　·　[节点索引](../index.md)

紧生成空间构成的范畴 $k\mathb
> 陈述续见 [nodes/prop.cg-coreflective.2.md](./prop.cg-coreflective.2.md)


## 为什么成立（入边，证明在 proofs/）
- …另有入边，续页见 [nodes/prop.cg-coreflective.4.md](./prop.cg-coreflective.4.md)

## 它能推出什么 / 谁在用它
- …另有出边，续页见 [nodes/prop.cg-coreflective.6.md](./prop.cg-coreflective.6.md)

## English abstract · **draft** · machine-drafted, pending author review; Chinese is authoritative
> English abstract 续见 [nodes/prop.cg-coreflective.3.md](./prop.cg-coreflective.3.md)

refs: Le Stum, An introduction to condensed mathematics, §2.3

外部：Wikipedia https://en.wikipedia.org/wiki/Compactly_generated_space · nLab https://ncatlab.org/nlab/show/compactly+generated+space

> 说明见 `notes/prop.cg-coreflective.md`

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