Category Theory for Computer Scientists

4.0 credits · Graduate

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.