Notes

Coalgebras and Corecursion

These are notes accompanying three seminars in Munich, Summer 2001.

1. Final Coalgebras [.ps| .pdf]
2. Simple (Co)Induction Principles [.ps| .pdf]

Comments welcome. Beware: There are some mistakes in the treatment of course-of-value corecursion.

A first introduction to category theory and logic

These notes accompany a seminar at Monash University in March / April 2002.

1. Categories and Functors (Mar 18, 2002) [.ps| .pdf]
2. Natural Transformations and (Co)Products (Mar 25, 2002) [.ps| .pdf]

Comments welcome.