錐の圏Cone - mrsekut-p

錐の圏Cone

category of cones

対象が錐の圏

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

錐の圏$ \mathrm{Cone}(F)

https://gyazo.com/4c32fc91fac17cc6228741bc11298ad8

前提

図式 (圏論)$ F:J\to\mathscr{A}

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

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

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

三角形は4つあるmrsekut.icon

性質