This expository article is an entry in the Stanford Encyclopedia of Philosophy.
Introductory article by John Baez.
The aim of the project is the development of software on a wide variety of platforms for computing with mathematical categories and associated algebraic structures.
In the "known maths" series.
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.
Email directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics and computer science.
By Michael Barr and Charles Wells, 1983. A revised and corrected version is now available free for downloading. Formats: DVI, PDF, PostScript.
Maintained by M. Alsani.
Problems on model categories listed by Mark Hovey at Wesleyan University.
Web page for the category theory mailing list.