An archive of stories about category theorists.

Web page for the category theory mailing list.

Introductory article by John Baez.

This expository article is an entry in the Stanford Encyclopedia of Philosophy.

In the "known maths" series.

An implementation of concepts and constructions from category theory in the functional programming language Standard ML. Documentation and code.

Section of the e-print arXiv dealing with category theory, including such topics as: enriched categories, topoi, abelian categories, monoidal categories, homological algebra.

Maintained by M. Alsani.

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.

Maintained by Birant Ramazan. Address book, open problems, meetings, pictures, other resources.

Notes by Ronald Brown.

Problems on model categories listed by Mark Hovey at Wesleyan University.

Includes papers on category theory.

By Michael Barr and Charles Wells, 1983. A revised and corrected version is now available free for downloading. Formats: DVI, PDF, PostScript.

In mathematics, category theory deals in an abstract way with mathematical ... Category theory provides both with a unifying notion and terminology. ...