CS 6117 - [Category Theory for Computer Scientists]

Fall. Not offered 2016-2017. 4 credits.

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.