归纳数据类型的范畴论方法 (Category Theoretical Method of Inductive Data Types)