About: Quillen's theorems A and B

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In topology, a branch of mathematics, Quillen's Theorem A gives a sufficient condition for the classifying spaces of two categories to be homotopy equivalent. Quillen's Theorem B gives a sufficient condition for a square consisting of classifying spaces of categories to be . The two theorems play central roles in Quillen's Q-construction in algebraic K-theory and are named after Daniel Quillen. The precise statements of the theorems are as follows. Quillen's Theorem B — If is a functor that induces a homotopy equivalence for any morphism , then there is an induced long exact sequence:

Property Value
dbo:abstract
  • In topology, a branch of mathematics, Quillen's Theorem A gives a sufficient condition for the classifying spaces of two categories to be homotopy equivalent. Quillen's Theorem B gives a sufficient condition for a square consisting of classifying spaces of categories to be . The two theorems play central roles in Quillen's Q-construction in algebraic K-theory and are named after Daniel Quillen. The precise statements of the theorems are as follows. Quillen's Theorem A — If is a functor such that the classifying space of the comma category is contractible for any object d in D, then f induces a homotopy equivalence . Quillen's Theorem B — If is a functor that induces a homotopy equivalence for any morphism , then there is an induced long exact sequence: In general, the homotopy fiber of is not naturally the classifying space of a category: there is no natural category such that . Theorem B constructs in a case when is especially nice. (en)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 41445293 (xsd:integer)
dbo:wikiPageLength
  • 2996 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1069838598 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • In topology, a branch of mathematics, Quillen's Theorem A gives a sufficient condition for the classifying spaces of two categories to be homotopy equivalent. Quillen's Theorem B gives a sufficient condition for a square consisting of classifying spaces of categories to be . The two theorems play central roles in Quillen's Q-construction in algebraic K-theory and are named after Daniel Quillen. The precise statements of the theorems are as follows. Quillen's Theorem B — If is a functor that induces a homotopy equivalence for any morphism , then there is an induced long exact sequence: (en)
rdfs:label
  • Quillen's theorems A and B (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License