泛代数和代数数据类型课件.pptVIP

2.4 同态和初始性 2.4.1 同态和同构 将同态和同构概念从单类代数推广到多类代数 同态是从一个代数到另一个代数的保结构的映射 从?代数A到B的同态h : A ? B 一簇映射h = {hs | s ? S }，使得对?的每个函数符号f : s1 ? … ? sk ? s，有 hs (f A (a1, …, ak) ) = (f B (hs1a1, …, hskak) ) 精品 2.4 同态和初始性 例 令N = ?N, 0, 1, ? ?，?是模k的等价关系,则把n?N映射到它的等价类[n]?是从N到N??的一个同态，因为 h (0) = 0N?? = [0]? h (n + m) = h (n) ?N?? h (m) = [n + m]? 任何代数到它商代数的同态都用这种方式定义 精品 2.4 同态和初始性 例 含义函数是从项代数T = Terms(?, ?)到任意代数A的一个同态h : T ? A。如果?是A的一个满足?的环境，该同态的定义是 h(M) = A?M?? 这是一个同态，因为 h (f M1 … Mk ) = A? f M1 … Mk?? = fA(A?M1??,…, A?Mk??) = fA(h (M1 ), …, h (Mk ) ) 精品 2.4 同态和初始性 引理