范畴论方法在计算机科学中的应用

作为一种高度抽象的数学理论，范畴论方法在计算机科学中的应用前景广阔。本书作者从事范畴论方法在计算机科学中应用领域的研究工作十余年，书中大部分内容是其近期研究成果：章从范畴论方法在计算机科学中应用角度介绍基本定义及其相关运算，第2章讨论范畴论方法在形式语言中的应用，第3章讨论范畴论方法在数据类型中的应用，第4章讨论范畴论方法在数据库系统中的应用，第5章讨论范畴论方法在共享系统数据模型中的应用。

苗德成，韶关学院教授，2012年毕业于华南理工大学计算机科学与工程学院，获计算机应用技术专业工学博士学位。主要从事形式化方法、数据库与网络计算、软件工程等专业领域的科学研究与教学。