CS 6117 - Category Theory for Computer Scientists

Fall. 4 credits. Student option grading.

Prerequisite: CS 3110.

J. Hsu.

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.