# 投射对象的余积投射　`prop.projective-coproduct`
投射对象的余积还是投射的
layer 15 · 命题 · 加法与阿贝尔范畴 · 同调代数
[在星图里打开](../#n=prop.projective-coproduct)　·　[节点索引](../index.md)

投射对象的**余积**还是投射的；对偶地，内射对象的**积**还是内射的。

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

refs: Le Stum, An introduction to condensed mathematics, §5.1–5.2

> 说明见 `notes/prop.projective-coproduct.md`

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