University of Calgary

CPSC 617 - Category Theory For Cpsc - Fall 2015

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.
This course may not be repeated for credit.

Hours

  • H(3-0)

Notes

  • Computer Science 417, 513[CPSC513], 521[CPSC521] or equivalent is recommended as preparation for this course.

Sections

This course will be offered next in Fall 2016.
Powered by UNITIS. More features.