自己编写的有关代数与共代数方法及应用的讲义，内容覆盖范畴理论(category theory)的基础知识，代数范畴与共代数范畴的基本性质与构造等内容，供从事有关计算机科学中的代数与共代数方法、程序设计语言的形式语义、形式化软件开发方法等方向的人员参考。