In *Locally Presentable and Accessible Categories*, page 12 (10), 

> A topological space is finitely presentable in $\mathbf{Top}$, the category of topological spaces and continuous functions, iff it is finite and discrete.

But the explanation after this sentence makes little sense to me. In particular, I want a rigorous proof that every finitely presentable object in $\mathbf{Top}$ is discrete.