as an algebraic theory, one of the advantages of category theory is to enable one to prove many general results with a minimum of assumptions. many common notions from mathematics (e.g. surjective, injective, free object, basis, finite representation, isomorphism) are definable purely in category theoretic terms (cf. monomorphism, epimorphism).