极限锥
范畴论概念
极限锥是范畴论中的一个概念。
定义
设C与J为范畴,Δ:C→CJ为对角函子,c为C的对象,函子F:J→C为CJ的对象。
若F的归纳极限,则μ称为从基F到顶点c的极限锥;
若F的投射极限,则ν称为从顶点c到基F的极限锥。
性质
若对任何锥τ:F→Δc,存在唯一态射t':ColimF→Δc,对任意i∈J均满足τi=t'μi。则μ为从基F到顶点c的极限锥。
若对任何锥τ:Δc→F,存在唯一态射t:Δc→LimF,对任意i∈J均满足τi=νit。则ν为从顶点c到基F的极限锥。
参考资料
最新修订时间:2024-05-21 14:34
目录
概述
定义
性质
参考资料