Under this course, the students will learn to use the category theory for the topics of computer science. Therefore the abstraction methodologies and concepts of Category Theory will be studied.

Course Objectives

This course aims to provide foundations on the mathematical theory of categories as needed in applications to computer science. On completion of this course students should: be learn the basic language and proof methods of category theory, and thereby be able to read and study research papers in computer science that use and/or are based on category theory

Recommended or Required Reading

M. Barr and C.Wells. Category Theory for Computing Science. Centre de Recherches Math_ematiques, third edition, 1999

Learning Outcomes

1. Learning the basic language and proof methods of category theory

2.Gaining the ability to use category theory in computer science research

Grading

Midterm 25%

Homework 35%

Final 40%