摘要
本文讨论了抽象数据类型的四种态射关系:基调态射、代数态射、理论态射和模型态射,给出了两个有关定理;指出基调态射的部分定义性可能导致公理集的部分定义性。
Discusses four homomorphic mapping relation-signature,algebraic,theoretic and model homo-
morphic mapping in the abstract data types,provides two related theorems ,and points out that partial definability of signature homomorphic mapping can bring about same nature in set of axioms.
关键词
同态
映射
抽象数据类型
homomorphism
mappings (mathematics)
abstract data types
