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. |
Applied and Computational Category Theory
A brief description of category theory, and some useful links. |
Categorical Myths and Legends
An archive of stories about category theorists. |
Categories Home Page
Web page for the category theory mailing list. |
Categories, Quantization, and Much More
Introductory article by John Baez. |
Category Theory
Directory and resource site. |
Category Theory
This expository article is an entry in the Stanford Encyclopedia of Philosophy. |
Category Theory and Homological Algebra
In the "known maths" series. |
Computational Category Theory Project
The aim of this project is the development of software on a wide variety of platforms for computing with mathematical categories and associated algebraic structures. |
CT Category Theory
Section of the e-print arXiv dealing with category theory, including such topics as: enriched categories, topoi, abelian categories, monoidal categories, homological algebra. |
Descent and Category Theory Connections
Maintained by M. Alsani. |
Open Problems on Model Categories
Problems on model categories listed by Mark Hovey at Wesleyan University. |
Structures Directory
Email directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics and computer science. |
The Computational Category Theory Project
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. |
Toposes, Triples and Theories
By Michael Barr and Charles Wells, 1983. A revised and corrected version is now available free for downloading. Formats: DVI, PDF, PostScript. |
