# 右伴随保极限　`thm.right-adjoint-preserves-limits`
右伴随保持所有极限
layer 12 · 定理 · 伴随与反射 · 范畴论
[在星图里打开](../#n=thm.right-adjoint-preserves-limits)　·　[节点索引](../index.md)

设 $F \dashv G$。则 $G$ **保持所有（在 $\mathcal{D}$ 中存在的）极限**：对每个图 $D : I \to \mathcal{D}$，

$$G\bigl(\lim D\bigr) \;\cong\; \lim\, (G \circ D)$$

## 为什么成立（入边，证明在 proofs/）
- …另有入边，续页见 [nodes/thm.right-adjoint-preserves-limits.2.md](./thm.right-adjoint-preserves-limits.2.md)

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

> 说明见 `notes/thm.right-adjoint-preserves-limits.md`

引用：`thm.right-adjoint-preserves-limits`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)