The classical Brown Representability Theorem states: Denote $hCW\_\*$ the homotopy category of pointed CW-complexes. Let $F : hCW\_\* \to Set\_\*$ be a contravariant functor. Then $F$ is representable if and only if


* $F$ respects coproducts, i.e. $F(\vee\_{i \in I} X\_i) = \prod\_{i \in I} F(X\_i)$ for all families $X\_i$ of pointed CW-complexes.
* $F$ satisfies a sort of Mayer-Vietoris axiom: If $X$ is a pointed CW-complex which is the union of two pointed subcomplexes $A,B$, then the canonical map $F(X) \to F(A) \times\_{F(A \cap B)} F(B)$ is surjective1.


What about omitting the base points? So let $F :hCW \to Set$ be a contravariant functor that satisfies the analogous properties as above (replace the wedge-sum by the disjoint union). Is then $F$ representable? I'm not sure if we just can copy the proof of the pointed case (which can be found, e.g., in Switzer's book "Algebraic Topology - Homology and Homotopy", Representability Theorems). For example, $F(pt)$ can be anything (in contrast to the pointed case), it will be the set of path components in the classifying space. Besides, the proof uses homotopy groups and in particular the famous theorem of Whitehead, which deal with pointed CW-complexes. Nevertheless, I hope that $F$ is representable ... what do you think?


As a first step, we may define for every $i \in F(pt)$ the subfunctor $F\_i$ of $F$ by $F\_i(Y) = \{f \in F(Y) : \forall y : pt \to Y : f|\_{y} = i \in F(pt)\}$, which should be thought as the connected component associated to $i$. Then it's not hard to show that $F\_i$ satisfies the same properties as $F$ and that $F\_i = [-,X\_i]$ implies $F = [-,\coprod\_i X\_i]$. In other words, we may assume that $F(pt)=pt$ (so that the classifying space will be connected).


1 You can't expect it to be bijective, cf. [question about categorical homotopy colimits](https://mathoverflow.net/questions/10364/categorical-homotopy-colimits)



Unpointed Brown representability theorem
This is a copy of my answer to [Brown representability for non-connected spaces](https://mathoverflow.net/questions/104866/brown-representability-for-non-connected-spaces/) which I repost here per request in the comment.


A negative answer to the question can be concluded from this paper:


* Peter Freyd and Alex Heller, *Splitting homotopy idempotents. II.* J. Pure Appl. Algebra **89** no. 1-2 (1993) pp 93–106, doi:[10.1016/0022-4049(93)90088-B](https://doi.org/10.1016/0022-4049%2893%2990088-B).


This paper introduces a notion of conjugacy idempotent. It is a triple $(G, g, b)$ consisting of a group $G$, an endomorphism $g \colon G \to G$ and an element $b \in G$ such that for all $x \in G$ we have $g^2(x) = b^{-1} g(x) b$. The theory of conjugacy idempotents can be axiomatized by equations, so there is an initial conjugacy idempotent $(F, f, a)$. The Main Theorem of the paper says (among other things) that $f$ does not split in the quotient of the category of groups by the conjugacy congruence.


Now $f$ induces an endomorphism $B f \colon B F \to B F$ which is an idempotent in $\mathrm{Ho} \mathrm{Top}$ and it follows (by the Main Lemma of the paper) that it doesn't split. It is then easily concluded that $(B f)\_+ \colon (B F)\_+ \to (B F)\_+$ doesn't split in $\mathrm{Ho} \mathrm{Top}\_\*$.


The map $(B f)\_+$ induces an idempotent of the representable functor $[-, (B F)\_+]\_\*$ which does split since this is a $\mathrm{Set}$ valued functor. Let $H \colon \mathrm{Ho} \mathrm{Top}\_\*^\mathrm{op} \to \mathrm{Set}$ be the resulting retract of $[-, (B F)\_+]\_\*$. It is half-exact (i.e. satisfies the hypotheses of Brown's Representability) as a retract of a half-exact functor. However, it is not representable since a representation would provide a splitting for $(B f)\_+$.


The same argument with $B f$ in place of $(B f)\_+$ shows the failure of Brown's Representability in the unbased case.


