CS 6117

Last Updated

  • Schedule of Classes - June 11, 2025 2:48PM EDT

CS 6117
Category Theory for Computer Scientists

Course information provided by the 2025-2026 Catalog.

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.


Last 3 terms offered 2022FA, 2020SP, 2018SP

View Enrollment Information

Syllabi: none

  •   Regular Academic Session. 

  • 4 Credits Stdnt Opt

  • 19561 CS 6117   LEC 001

  •  
    • TR
    • Aug 25 - Dec 8, 2025

    • Hsu, J

  • Instruction Mode: In Person

    For Bowers Computer and Information Science (CIS) Course Enrollment Help, please see: https://tdx.cornell.edu/TDClient/193/Portal/Home/