Overview

CS6117 - Category Theory for Computer Scientists is an introduction to category theory, with a focus on material with established applications to computer science. The course will emphasize developing comfort with abstraction and instantiation while not assuming students have a strong background in mathematics.

Class Times: MWF 1:25-2:15

Location: 211 Upson Hall

Instructor: Ross Tate

Office: 434 Gates Hall

Office Hours: By appointment

Grading There will be a (very) small homework assignment approximately each week, a midterm, and a non-cumulative final:

Assignments: 60% (Each will be worth 5%, and there will be more than 12, so any extra will count as extra credit.)

Midterm: 20%

Final: 20%

Piazza: http://piazza.com/cornell/fall2014/cs6117

Related Reading

Schedule

Homework Policies

Cornell University has a Code of Academic Integrity, with which you should be familiar. Violations of this code are treated very seriously by Cornell and can have long-term repercussions. In this course, you are encouraged to discuss the content of the course with other students, and you may also discuss homework problems with other students. However, you must do your own work, write up assignments yourself, and if you discuss a problem with another student, you are expected to document this fact in your write-up. It is a violation of the code to copy work, including programs, from other students; it is also a violation to use solutions to homework problems from previous iterations of the same course. Note that Cornell holds responsible for the code violation both the recipient and the donor of improper information.