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 and the morphisms are obvious commutative diagrams between them. It is denoted by . (It may also be defined using the language of 2category.) One has: if the model category is right proper and is such that weak equivalences are closed under finite products, is bijective.
Property  Value 

dbo:abstract 

dbo:wikiPageExternalLink  
dbo:wikiPageID 

dbo:wikiPageLength 

dbo:wikiPageRevisionID 

dbo:wikiPageWikiLink  
dbp:wikiPageUsesTemplate  
dct:subject  
rdfs:comment 

rdfs:label 

owl:sameAs  
prov:wasDerivedFrom  
foaf:depiction  
foaf:isPrimaryTopicOf  
is dbo:wikiPageWikiLink of  
is foaf:primaryTopic of 