(Q4975963)
Statements
0 references
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki Brown's representability theorem
- kowiki 브라운 표현 정리
theorem in homotopy theory that a set-valued contravariant functor on the homotopy category of connected pointed CW-complexes is representable iff it maps wedge sums to product and homotopy pushouts to weak pullbacks
![{\displaystyle (\exists B\colon F=[-,B])\iff \left(F\left(\bigvee _{i}X_{i}\right)\cong \prod _{i}F(X_{i})\right)\land {\text{Mayer-Vietoris}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b91396abdd4b3de88ae9efe25e079459ff0804e)