For example , an injective continuous map is a monomorphism in the category of topological spaces .
This proof works not only for algebraic structures , but also for any category whose objects are sets and arrows are maps between these sets .