錐(範疇論概念)

錐是範疇論中的一個概念。

基本介紹

• 中文名：錐
• 外文名：cone
• 所屬學科：範疇論

定義

設C與J為範疇，Δ:C→C為對角函子，c為C的對象，函子F:J→C為C的對象。

自然變換τ:F→Δc稱為從基F到頂點c的錐；

自然變換τ:Δc→F稱為從頂點c到基F的錐。

（其中Δ可被省略不寫）

相關概念

若F的歸納極限為<ColimF,μ:F→ColimF>，則μ稱為從基F到頂點c的極限錐；

若F的投射極限為<LimF,ν:LimF→F>，則ν稱為從頂點c到基F的極限錐。