Category Theory Fall 2000
Lars Birkedal and Thomas Hildebrandt


  • 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