A Gentle Introduction to Category TheorySave
Lecture notes by Maarten M. Fokkinga introducing some important notions from category theory, in particular adjunctions. Proofs are given in a calculational style, and the (few) examples are taken from algorithmics. The text is a long PostScript file. http://wwwhome.cs.utwente.nl/~fokking...