# C 是 Ind(C) 的反射子范畴　`prop.ind-reflective`
$\mathcal{C} \hookrightarrow \operatorname{Ind}(\mathcal{C})$ 是反射
layer 12 · 命题 · 图与极限 · 范畴论
[在星图里打开](../#n=prop.ind-reflective)　·　[节点索引](../index.md)

若 $\mathcal{C}$ 有滤过余极限，则 $\mathcal{C}$ 是 $\operatorname{Ind}(\mathcal{C})$ 的**反射子范畴**。

## 为什么成立（入边，证明在 proofs/）
- [`def.ind-object`](../nodes/def.ind-object.md) Ind-对象：用到了定义 Ind-对象　[proofs/def-dep.indrefl-indobj.md](../proofs/def-dep.indrefl-indobj.md)

- …另有入边，续页见 [nodes/prop.ind-reflective.2.md](./prop.ind-reflective.2.md)

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

> 说明见 `notes/prop.ind-reflective.md`

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