泛态射_范畴论概念 - 威林百科weilinceramic.com

泛态射

范畴论概念

泛态射是范畴论中的概念。

定义

设S:D→C为函子，c为C的对象。

从c到S的一个泛态射为对，其中r∈Ob(D)，u:c→Sr∈Mor(C)，并满足对任何对，其中d∈Ob(D)，f:c→Sd∈Mor(C)，存在唯一的f':r→d∈Mor(D)，满足Sf'∘u=f；

从S到c的一个泛态射为对，其中r∈Ob(D)，v:Sr→c∈Mor(C)，并满足对任何对，其中d∈Ob(D)，f:Sd→c∈Mor(C)，存在唯一的f':d→r∈Mor(D)，满足v∘Sf'=f。

性质

泛态射为逗号范畴(c↓S)的始对象。

泛态射为逗号范畴(S↓c)的终对象。

参考资料

最新修订时间：2024-05-21 12:17

条目作者

概述

定义

性质

参考资料