Brown Representability Theorem

A theorem giving necessary and sufficient conditions for a contravariant homotopy functor on suitable homotopy categories (classically pointed CW complexes) to be representable by a space or spectrum, i.e., naturally isomorphic to homotopy classes of maps into a classifying object.