Regensburg Workshop Lecture Notes

Steve Awodey, March 2008

These notes are intended for use by the participants of the workshop on
Structuralism in Philosophy of Mathematics, Regensburg, Germany.
Please do not distribute them without the author's permission.

Lectures 1 and 2:
Category Theory
Categorical Logic
click here for PDF

Lecture 3:
Foundations
click here for PDF

Steve Awodey's web page

(comments to: awodey@cmu.edu)