CS 6117—Category Theory for Computer Scientists

General Information

A class about category theory. Yes, the classic Haskell monad joke is explained.

Prerequisites

CS 3110

Topics Covered

  • Categories & Functors
  • Subcategories & Concrete Categories
  • Natural Transformations
  • Monoids
  • Monads
  • Multicategories
  • Lots more

Workload

One weekly problem set, 3 problems. Usually not too involved, though some problems can be tricky.

General Advice

Don’t take this class just because you want to understand Haskell jokes.

Testimonials

Past Offerings

Semester Time Professor Median Grade Course Page
Spring 2018 MWF 11:15-12:05 Ross Tate ? http://www.cs.cornell.edu/courses/cs6117/2018sp/
Fall 2014   Ross Tate ? http://www.cs.cornell.edu/courses/cs6117/2014fa/

Edit this page on Github: classes/CS6117.md

Edit me on GitHub