CS 6117

Last Updated

  • Schedule of Classes - March 17, 2025 8:55AM 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.


Prerequisites REF-FA25/Corequisites REF-FA25 CS 3110. Corequisites: None.

Last 4 terms offered (None)

View Enrollment Information

Syllabi: none

  •   Regular Academic Session. 

  • 4 Credits Stdnt Opt

  • 19561 CS 6117   LEC 001

  •  
    • 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/