Sponsored Links
Directory Sites
This expository article is an entry in the Stanford Encyclopedia of Philosophy.
plato.stanford.edu
Categories, Quantization, and Much More
Introductory article by John Baez.
math.ucr.edu
Category Theory and Homological Algebra
In the "known maths" series.
www.math.niu.edu
A Gentle Introduction to Category Theory
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.
wwwhome.cs.utwente.nl
Email directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics and computer science.
boole.stanford.edu
By Michael Barr and Charles Wells, 1983. A revised and corrected version is now available free for downloading. Formats: DVI, PDF, PostScript.
www.cwru.edu
Descent and Category Theory Connections
Maintained by M. Alsani.
north.ecc.edu
Open Problems on Model Categories
Problems on model categories listed by Mark Hovey at Wesleyan University.
claude.math.wesleyan.edu
Web page for the category theory mailing list.
www.mta.ca
An archive of stories about category theorists.
www.mcs.le.ac.uk
Section of the e-print arXiv dealing with category theory, including such topics as: enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
front.math.ucdavis.edu
An implementation of concepts and constructions from category theory in the functional programming language Standard ML. Documentation and code.
www.cs.man.ac.uk
An illustrated guide book by Eugenia Cheng and Aaron Lauda (PS/PDF).
www.dpmms.cam.ac.uk
Maintained by Birant Ramazan. Address book, open problems, meetings, pictures, other resources.
unr.edu
Notes by Ronald Brown.
www.bangor.ac.uk