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
- ↑ Jardine, J. F. (2009). Algebraic Topology Abel Symposia Volume 4. Berlin Heidelberg: Springer. pp. 185–218. ISBN 978-3-642-01200-6.
- Jardine, J.F. (2007). "Simplicial presheaves" (PDF).
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.