From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum

Authors:
Yujun Zheng;Haihe Shi;Jinyun Xue
Affiliations:
Institute of Software, Chinese Academy of Sciences, 100080 Beijing, China and Coll. Computer Inf. & Eng., Jiangxi Normal University, 330027 Nanchang, China and Graduate University of the Chinese A ...;Institute of Software, Chinese Academy of Sciences, 100080 Beijing, China and Coll. Computer Inf. & Eng., Jiangxi Normal University, 330027 Nanchang, China;Institute of Software, Chinese Academy of Sciences, 100080 Beijing, China and Coll. Computer Inf. & Eng., Jiangxi Normal University, 330027 Nanchang, China
Venue:
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
Year:
2007

Citing 6
Cited 0

Computational category theory

Computational category theory
Basic category theory for computer scientists

Basic category theory for computer scientists
Categories, types, and structures: an introduction to category theory for the working computer scientist

Categories, types, and structures: an introduction to category theory for the working computer scientist
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Management of Evolving Specifications using Category Theory

ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Object-Oriented specification composition and refinement via category theoretic computations

TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Category theory, with its increasing role in computer science, has proved useful in the investigation of programming languages and other theoretical aspects of software engineering. As a bridge-building exercise, we introduce the category theory course into the computer science curriculum, the purpose of which includes building a unified framework to generalize the discrete structures of mathematical courses and providing an environment for formulating concepts of other software engineering courses. We develop a teaching schema, summarize our experiences, and give some suggestions for pedagogical techniques for the course.