余代数同态

余代数同态(coalgebra morphism)是代数同态的对偶概念。对偶是凸集几何的一个重要概念。同态是模型论用语。指两个模型间的同态映射。余代数是代数的对偶概念。设C是R模，Δ是一个R线性映射C→CRC，被称为余乘法或对角映射；ε是一个R线性映射C→R，称为余单位元或增广。余代数同态(coalgebra morphism)是代数同态的对偶概念。