Algebraic topology is broadly speaking the study of functors (and natural transformations between them) from the category of topological spaces (or related categories such as its homotopy category) to an "algebraic" category. You get a much better perspective on the methods and "big picture" in algebraic topology when you adopt this point of view.
Here's a nice but easy example: for $R$ a topological commutative ring, the assignment of the $R$-algebra of continuous $R$-valued functions on a topological space is a (contravariant) functor from topological spaces to $R$-algebras. In fact, when the target ring is the complex numbers, this functor induces an adjoint equivalence of categories between compact Hausdorff spaces and (the opposite of) the category of commutative C* algebras. This is called Gelfand duality.
There's plenty of other interesting functors to algebraic categories. For instance, the singular cohomology ring gives you a functor from topological spaces to rings. The singular chain complex functor is a functor to chain complexes of abelian groups. The fundamental groupoid is a functor from topological spaces to groupoids.
Since I mentioned that natural transformations between functors are also of interest in algebraic topology, here's a key example: characteristic classes. Let $\mathsf{hoTop}$ denote the category of topological spaces with continuous maps modulo homotopy equivalence as the arrows. Since pullbacks of principal $G$-bundles by homotopic maps are isomorphic (at least when we restrict $\mathsf{Top}$ to be the category of "nice spaces" such as CW complexes and manifolds), then we have a (contravariant) functor: $$B_G: \mathsf{hoTop}^{\mathrm{op}} \to \mathsf{Sets}$$
that assigns to each space $X$ the set of isomorphism classes of principal $G$-bundles over $X$. Now given some cohomology functor $H$, lets compose it with a forgetful functor from abelian groups (or rings or whatever) to $\mathsf{Sets}$. Then we can think of $H$ as a (contravariant) functor
$$H: \mathsf{hoTop}^{\mathrm{op}} \to \mathsf{Sets}.$$
Since these two functors have the same source and target, we can talk about natural transformations between them. In fact natural transformations $c: B_G \Rightarrow H$ are precisely characteristic classes!
Lastly, here's a "stupid but correct" answer to your question: pick any sort of category of algebraic objects, as wild as you like, and let's call it $\mathsf{A}$. Now pick your favourite algebraic object $A$ in this category. Now construct a functor $F: \mathsf{Top} \to \mathsf{A}$ that maps every topological space $X$ to the algebraic object $A$, and takes every continuous map $f: X \to Y$ to the identity map $\mathrm{id}_A: A \to A$ on $A$. Then this is a perfectly reasonable (but rather useless) construction in algebraic topology.
