CS 6117 - [Category Theory for Computer Scientists]

Spring. Not offered: 2021-2022. Next offered: 2022-2023. 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.