Sehr empfehlenswert:
-
Topoi, the Categorical Analysis of Logic.
Studies in Logic and the foundations of mathematics vol. 98,
North Holland, New York
1984
Dieses Buch bildet den Leittext für diese Veranstaltung.
Es enthält eine große Zahl an Übungsaufgaben, die ebenfalls zum Verständnis beitragen.
Eine elektronische Ausgabe ist auf einem Server der elektronischen Bibliothek der Cornell University verfügbar.
In einem früheren Seminar ist aufgefallen, dass es im Buch einen Druckfehler bei der Definition des Exponentials von M-Set gibt. Die richtige Definition und den Beweis ihrer Korrektheit finden Sie hier. - Categories for Computer Science. Prentice Hall International 1995 Grundlagenbuch über Kategorientheorie.
- Categories for the working mathematician. Springer, New York 1971 Grundlagenbuch über Kategorientheorie.
