CS 6117 - Category Theory for Computer Scientists

Spring. 4 credits. Student option grading.

Prerequisite: CS 3110.

Staff.

An introduction to category theory, with a focus on material with established applications to computer science and programming languages, in particular. The course emphasizes developing comfort with abstraction and instantiation.