CPSC 617
Category Theory For Cpsc
Introduction to category theory with applications in computer science. Functors, natural transformations, adjoints and monads, initial and final algebras. Introduction to 2-categories and fibrations. Notes: Computer Science 417, 513[CPSC513], 521[CPSC521] or equivalent is recommended as preparation for this course.
Sources
- Course catalogue ↗2026-2027