Cocycle category

In category theory, a branch of mathematics, the cocyle category of objects X, Y in a model category is a category in which the objects are pairs of maps and the morphisms are obvious commutative diagrams between them.[1] It is denoted by . (It may also be defined using the language of 2-category.)

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

is bijective.

References

  1. Jardine, J. F. (2009). Algebraic Topology Abel Symposia Volume 4. Berlin Heidelberg: Springer. pp. 185–218. ISBN 978-3-642-01200-6.
This article is issued from Wikipedia - version of the 6/30/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.