抽象数据类型理论及其态射关系

本文讨论了抽象数据类型的四种态射关系:基调态射、代数态射、理论态射和模型态射,给出了两个有关定理;指出基调态射的部分定义性可能导致公理集的部分定义性。