Introduction to Category Theory

Category theory is a mathematical approach to the study of algebraic
structure that has become an important tool in theoretical computing
science, particularly for semantics-based research. The aim of this
course is to teach the basics of category theory, in a way that is
accessible and relevant to computer scientists. The emphasis is on
gaining a good understanding the basic definitions, examples, and
techniques, so that students are equipped for further study on
their own of more advanced topics if required.