Un teorema que da condiciones necesarias y suficientes para que un funtor homotópico contravariante en categorías de homotopía apropiadas (clásicamente complejos CW apuntados) sea representable por un espacio o espectro, es decir, naturalmente isomorfo a clases de homotopía de mapas hacia un objeto clasificante.

Principio

Si un funtor contravariante satisface invariancia por homotopía, el axioma del wedge (que envía coproductos a productos) y una condición de exactitud tipo Mayer–Vietoris respecto de homotopy colimits, entonces existe un objeto X que representa el funtor y el funtor es naturalmente isomorfo a [–, X] o a mapas hacia un espectro; la idea organizadora es que el buen comportamiento homotópico caracteriza la representabilidad.

Demostración

Se emplea la representabilidad de Brown para construir espectros que representan teorías de cohomología generalizadas: un funtor de cohomología que cumple axiomas semejantes a Eilenberg–Steenrod (excepto dimensión) es representable y produce el espectro clasificante cuyas clases de homotopía de mapas calculan los grupos de cohomología.

Aplicación incorrecta

Intentar aplicar la representabilidad de Brown a funtores que violan el axioma del wedge, no son invariantes por homotopía o están definidos en categorías que carecen de las propiedades de pequeñez o cierre necesarias (por ejemplo categorías enormemente grandes sin objetos de tipo CW) resulta en ejemplos no representables y en un uso indebido.

Consecuencia

Cuando es aplicable, produce espacios o espectros clasificantes, permitiendo realizar teorías de cohomología abstractas como objetos representables, aplicar argumentos al estilo Yoneda en homotopía y traducir problemas homotópicos a cuestiones sobre espacios de mapeos.

Inversión

La no representabilidad es el contraste: funtores que violan los axiomas muestran comportamiento no clasificable y no pueden ser codificados por un único objeto universal; esto subraya los límites de la clasificación por espacios o espectros.

Límite

Las hipótesis incluyen trabajar sobre la categoría de homotopía adecuada (a menudo CW apuntados), condiciones de pequeñez o set-theoretic, y verificar los axiomas del wedge y de exactitud; el teorema no se aplica tal cual a categorías de modelos arbitrarias o a funtores que carecen de esos axiomas sin reemplazos adecuados.

Tensión semántica

Hay tensión entre la representabilidad en homotopía y la representabilidad puramente algebraica de Yoneda: Brown sustituye axiomas algebraicos de exactitud por condiciones de coherencia homotópica, de modo que se debe conciliar la noción categórica de representabilidad con los axiomas homotópicos.

Síntesis

La representabilidad de Brown identifica cuándo un funtor homotópico se realiza mediante mapas hacia un único objeto: exigir invariancia homotópica, comportamiento coproducto→producto y exactitud homotópica garantiza un espacio o espectro representante, convirtiendo funtores abstractos en objetos clasificantes concretos y permitiendo métodos geométricos para la clasificación cohomológica.