## [Teorema de Representabilidad de Brown](/es/node/63184) Definición 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 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 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 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 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 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 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 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 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.