Quillen's theorem B

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo functors between small categories
gptkbp:describes homotopy fibers of functors
gptkbp:field gptkb:topology
gptkb:category_theory
https://www.w3.org/2000/01/rdf-schema#label Quillen's theorem B
gptkbp:namedAfter gptkb:Daniel_Quillen
gptkbp:publishedIn gptkb:Higher_Algebraic_K-Theory_I
gptkbp:relatedTo gptkb:Quillen's_theorem_A
gptkbp:state If for every morphism f: x → y in D, the induced functor F^{-1}(x) → F^{-1}(y) is a homotopy equivalence, then the map induced by F on classifying spaces is a homotopy fiber.
gptkbp:usedIn gptkb:algebraic_K-theory
homotopy theory
gptkbp:year 1973
gptkbp:bfsParent gptkb:Daniel_Quillen
gptkbp:bfsLayer 7