CS 6117
Category Theory for Computer Scientists
Cornell University · UGRD · Fall 2026
1 section
Catalog description
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.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #cornell_2-CS6117Fall 2026UGRD4 credits
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?