Category Theory Fall 2000
Lars Birkedal and Thomas Hildebrandt

Notes

  • Basic Category Theory by Jaap van Oosten.
  • An index to Basic Category Theory by Morten Overgaard Hansen can be found here.
  • Regular Categories and Regular Logic by Carsten Butz.
  • Lecture Notes in Category Theory (Draft)This is a draft version of notes taken by Mario Caccamo from a course given by Glynn Winskel based on earlier course notes from a course given by Martin Hyland. Comments with suggestions for improvements should be mailed to Mario Caccamo.
    • [ Category Theory Home | Schedule | Assignments | Notes | Projects ]
    Lars Birkedal
    birkedal@it-c.dk