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@itc.dk