Ein Satz, der notwendige und hinreichende Bedingungen dafür angibt, dass ein kontravarianter Homotopie-Funktor auf geeigneten Homotopiekategorien (klassisch punktierte CW-Komplexe) durch einen Raum oder ein Spektrum repräsentierbar ist, d.h. natürlich isomorph zu Homotopieklassen von Abbildungen in ein klassifizierendes Objekt.

Prinzip

Erfüllt ein kontravarianter Funktor Homotopieinvarianz, das Wedge-Axiom (Koprodukte werden zu Produkten) und eine Mayer–Vietoris- bzw. Exaktheitsbedingung bezüglich Homotopie-Kolimiten, so existiert ein Objekt X, das den Funktor repräsentiert, sodass der Funktor natürlich isomorph zu [–, X] oder zu Abbildungen in ein Spektrum ist; die ordnende Idee ist, dass gutes homotopietheoretisches Verhalten die Repräsentierbarkeit charakterisiert.

Demonstration

Man nutzt Brown-Repräsentabilität zur Konstruktion von Spektren, die verallgemeinerte Koehomologietheorien repräsentieren: ein Koehomologiefunktor, der Eilenberg–Steenrod-ähnliche Axiome (außer Dimension) erfüllt, ist repräsentierbar und liefert das klassifizierende Spektrum, dessen Homotopieklassen Abbildungen die Koehomologiegruppen berechnen.

Fehlanwendung

Der Versuch, Brown-Repräsentabilität auf Funktoren anzuwenden, die das Wedge-Axiom verletzen, nicht homotopieinvariant sind oder auf Kategorien definiert sind, denen notwendige Smallness- oder Abschlussbedingungen fehlen (z. B. sehr große Kategorien ohne CW-Objekte), führt zu nicht repräsentierbaren Beispielen und Fehlanwendungen.

Konsequenz

Wenn anwendbar, liefert es klassifizierende Räume oder Spektren und ermöglicht die Realisierung abstrakter Koehomologietheorien als repräsentierbare Objekte, die Anwendung von Yoneda-Methoden in der Homotopietheorie und die Überführung homotopietheoretischer Probleme in Fragen über Abbildungsräume.

Umkehrung

Nicht-Repräsentierbarkeit bildet den Gegensatz: Funktoren, die die Axiome verletzen, zeigen nicht-klassifizierbares Verhalten und lassen sich nicht durch ein einziges universelles Objekt kodieren; das macht die Grenzen der Klassifikation durch Räume oder Spektren deutlich.

Abgrenzung

Voraussetzungen umfassen das Arbeiten über die passende Homotopiekategorie (häufig punktierte CW-Komplexe), Set-Theorie-Konditionen bzw. Smallness und das Prüfen des Wedge- und Exaktheitsaxioms; der Satz gilt nicht unverändert für beliebige Modellkategorien oder Funktoren ohne diese Axiome ohne geeignete Anpassungen.

Semantische Spannung

Es besteht Spannung zwischen Repräsentierbarkeit in der Homotopie und der rein algebraischen Yoneda-Repräsentierbarkeit: Brown ersetzt algebraische Exaktheitsaxiome durch homotopietheoretische Kohärenzbedingungen, weshalb kategoriale Repräsentierbarkeitsbegriffe und homotopische Axiome in Einklang gebracht werden müssen.

Synthese

Brown-Repräsentabilität sagt, wann ein Homotopie-Funktor durch Abbildungen in ein einzelnes Objekt realisiert wird: Homotopieinvarianz, Koprodukt→Produkt-Verhalten und homotopische Exaktheit sichern ein repräsentierendes Raum- oder Spektralobjekt, wodurch abstrakte Funktoren zu konkreten klassifizierenden Objekten werden und geometrische Methoden für die Koehomologie-Klassifikation ermöglichen.