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