The Brown Representability Theorem gives conditions under which a contravariant functor from the homotopy category of pointed, connected CW complexes to the category of sets is representable, meaning it agrees with the functor of homotopy classes of maps into some fixed space, provided the given functor sends wedge sums to products and satisfies a gluing condition analogous to the Mayer-Vietoris sequence. Named for Edgar Brown, it is a foundational existence result of algebraic topology guaranteeing that many naturally arising cohomology-like theories are represented by an actual topological space, called a classifying space.
Facts
Classification
Statement FormCharacterization Theorem 1 Connections
Has Statement Form
Proved By
Source Brown's representability theorem (Wikipedia)
Sources
1. Brown representability theorem (Wikipedia)
IntroductionQuote, Introduction
The theorem is due to Edgar H. Brown who published it in 1962.
View the Source Brown's representability theorem (Wikipedia)
Proved By: Edgar H. Brown, Lead
The theorem is due to Edgar H. Brown who published it in 1962.
In Group: Algebraic Topology, Lead paragraph
In mathematics, Brown's representability theorem in homotopy theory gives necessary and sufficient conditions for a contravariant functor F on the homotopy category Hotc of pointed connected CW complexes, to the category of sets Set, to be a representable functor.
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.