対象が錐の圏

\mathrm{Cone}(F)とか\mathrm{Cone}(F:J\to\mathscr{A})とか\mathrm{Cone}(A,F)とかと表記

錐の圏\mathrm{Cone}(F)

前提

\forall A\in\mathscr{A}からFへの錐(A, \{p\})を対象とする

他の錐(A',\{q\})への射uは、\mathscr{A}の射A\to A'で、

上図の\mathscr{A}内部のすべての三角形を可換にするもの

三角形は4つある

性質

終対象が極限

コンマ圏との関係 ref