您的位置首页百科问答

推出(范畴论概念)

推出(范畴论概念)

的有关信息介绍如下:

推出(范畴论概念)

推出push out是范畴论中的一个概念,定义是给定范畴C与J=与对角函子Δ:C→CJ,f:a→b与g:a→c为C中态射,则推出为从到Δ的泛态射,其对应的始对象为。

想要了解更多“推出(范畴论概念)”的信息,请点击:推出(范畴论概念)百科