コサイクルカテゴリー

数学の一分野である圏論において、モデル圏におけるオブジェクトX、Yのコサイクル圏は、オブジェクトが写像のペアであり、射がそれらの間の明らかな可換図式である圏である。 ^[1]これは と表記される。（ 2-圏の言語を使用して定義されることもある。） ${\displaystyle X{\overset {f}{\leftarrow }}Z{\overset {g}{\rightarrow }}Y}$${\displaystyle H(X,Y)}$

モデルカテゴリが真に適切であり、弱同値性が有限積に対して閉じている 場合、

${\displaystyle \pi _{0}H(X,Y)\to [X,Y],\quad (f,g)\mapsto g\circ f^{-1}}$

は全単射です。

• Jardine, JF (2007). 「Simplicial presheaves」(PDF) 。 2013-10-17 にオリジナル(PDF)からアーカイブ。2013-10-16に取得。