Cocycle category

Template:Short description In category theory, a branch of mathematics, the cocycle category of objects X, Y in a model category is a category in which the objects are pairs of maps $X\stackrel{f}{\leftarrow }Z\stackrel{g}{\to }Y$ and the morphisms are obvious commutative diagrams between them. It is denoted by $H(X,Y)$. (It may also be defined using the language of 2-categories.)

One has that if the model category is right proper and is such that weak equivalences are closed under finite products, then

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

is bijective.

References

• Template:Cite web