Fibrations理论在索引归纳数据类型语法构造中的应用
来源：计算机工程与应用杂志2017年第4期北京时间：
作者：苗德成1，奚建清2，刘新盛3
单位：1.韶关学院 信息科学与工程学院，广东 韶关 512005；2.华南理工大学 软件学院，广州 510640；3.解放军防空兵学院 弹炮一体系，郑州 450052
摘要：应用Fibrations理论对索引归纳数据类型的语法构造进行了研究。提出了索引fibration及其真值与内涵函子的定义，构造了索引与代数范畴，利用折叠函数与伴随函子等工具构造了索引范畴中一类相对复杂的索引归纳数据类型，辅以实例进行了简要分析，并通过相关工作的论述指出了Fibrations理论研究方法的优势。
关键词：语法构造,索引归纳数据类型,Fibrations理论,范畴,提升
