# 交换环的纤维余积是张量积　`prop.ring-tensor-coproduct`
交换环的推出 = 张量积
layer 19 · 命题 · 代数结构 · 抽象代数+范畴论
[在星图里打开](../#n=prop.ring-tensor-coproduct)　·　[节点索引](../index.md)

在**交换环**范畴里，沿 $A \to B$、$A \to C$ 的**纤维余积**（推出）是 $B \otimes_{A} C$。

## 为什么成立（入边，证明在 proofs/）
- [`def.ring`](../nodes/def.ring.md) 环：用到了定义 环　[proofs/def-dep.ringtensor-ring.md](../proofs/def-dep.ringtensor-ring.md)

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

refs: Le Stum, Exercise 1.36

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

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