CAS 781: Category Theory

Class: Wednesday 13:00-14:30, Friday 10:30-12:00

Textbook:

  1. Introduction to Category Theory by Harold Simmons, Cambridge University press.
  2. Verified Functional Programming in Agda by Aaron Stump, Cambridge University Press.

Resources