Hans Halvorson office hours Thursdays 4-5pm.
The primary text for this course is: Jaap van Oosten, Basic Category Theory [PDF]
Supplementary text: Carsten Butz, Regular Categories and Regular Logic [PDF]
Syllabus [syllabus.pdf]
Homework [hw1.pdf] [hw2.pdf] [hw3.pdf] [hw4.pdf] [final.pdf]
Supplementary notes [exercise74.pdf] [comparing adjunctions] [sheaf semantics]