Induced homomorphism (Category theory)