Skip to main content

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 11:15-12:05

Location: 206 Upson Hall

Instructor: Ross Tate
Office: 434 Gates Hall
Office Hours: Friday 1:30-2:30

Grading There will be a small homework assignment almost every week (no midterms or final):
Assignments: 100%

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

Related Reading

Schedule

DateTopicReadingAssignments
Week 1
Jan 24 Categories, Part 1 Reference (updated throughout the semester)
Preface
3.1(ignore c), 3.2, 3.3(2b,2d,2f,4a,4c,4d,4e,4f), 3.4
Categories
Available: Assignment 1
Jan 26 Categories, Part 2
Week 2
Jan 29 Categories, Part 3 Due: Assignment 1
Available: Assignment 2
Jan 31 Isomorphisms 3.8, 3.10, 3.11, 3.12, 3.13(1,2,4,6), 3.14, 3.15
Isomorphisms
Feb 2 Functors, Part 1 3.17, 3.18, 3.20(1,2,3,4,6,7,8,10,13)
Functors
Week 3
Feb 5 No Lecture
Feb 7 No Lecture
Feb 9 Functors, Part 2 3.21,3.22(2),3.23,3.24,3.25(1),3.26(1,2,3)
3.27(2,3),3.29(1,2,4),3.30(1),3.31,3.32
3.50
Week 4
Feb 12 Metric Spaces and Topologies, Part 1 Metric Spaces and Topologies Due: Assignment 2
Feb 14 Metric Spaces and Topologies, Part 2
Comma Categories, Part 1
Comma Categories Available: Assignment 3
Feb 16 Comma Categories, Part 2 Available: Assignment 4
Week 5
Feb 19 February Break
Feb 21 Subcategories, Part 1 4.1, 4.2(1,2), 4.3(1), 4.9, 4.12, 4.13(1)
Subcategories
Due: Assignment 3
Feb 23 Subcategories, Part 2
Week 6
Feb 26 Due: Assignment 4
Feb 28
Mar 2
Week 7
Mar 5
Mar 7
Mar 9
Week 8
Mar 12
Mar 14
Mar 16
Week 9
Mar 19
Mar 21
Mar 23
Week 10
Mar 26
Mar 28
Mar 30
Week 11 - Spring Break
Apr 2 Spring Break
Apr 4 Spring Break
Apr 6 Spring Break
Week 12
Apr 9
Apr 11
Apr 13
Week 13
Apr 16
Apr 18
Apr 20
Week 14
Apr 23
Apr 25
Apr 27
Week 15
Apr 30
May 2
May 4
Week 16
May 7
May 9
May 11 No more class!

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.