余代数同态

coalgebra homomorphism