推出

数学 · 范畴论里的粘合

术语解释

推出（Pushout）是拉回的对偶概念，把两个空间沿公共部分粘合起来。给定f:C→A和g:C→B，推出就是把A和B中f(c)和g(c)对应的点粘在一起。拓扑中把正方形对边粘合得到环面就是推出的例子。推出=范畴论的并集/粘合。

怎么理解

推出=范畴论的粘合，沿公共部分拼空间

在交互版里浏览「数学」的全部词条 →