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 ← f Z → g Y {\displaystyle X{\overset {f}{\leftarrow }}Z{\overset {g}{\rightarrow }}Y} and the morphisms are obvious commutative diagrams between them. It is denoted by H ( X , Y ) {\displaystyle H(X,Y)} .
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 ← f Z → g Y {\displaystyle X{\overset {f}{\leftarrow }}Z{\overset {g}{\rightarrow }}Y} and the morphisms are obvious commutative diagrams between them. It is denoted by H ( X , Y ) {\displaystyle H(X,Y)} .
Source: Wikipedia "Cocycle category" · CC BY-SA 4.0
Share this article: X · Bluesky