Categorical Date Type(CDT) can be regarded as a generalization of abstract data types,whose object is encapsulated data representation and also the control flow involved in evaluating homomorphism.

• 范畴数据类型可以看成是抽象数据类型的扩充,它的对象就是封装了数据表达式以及涉及同态操作的控制流的集合。因此同态的关系是构造范畴数据类型关键,但是,在数据类型中有些操作并不是同态操作。