CDT model is the formal description model of the construction of data types and based in category theory.

• CDT模型是以范畴理论为基础，以数据类型的构造为目的的形式化描述模型。