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. www.unico.it/~walters/comcat/comcatproj.html
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/~fokkinga/mmf92b.html
Email directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics and computer science. boole.stanford.edu/pub/structdir
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/artsci/math/wells/pub/ttt.html
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/math.CT
An implementation of concepts and constructions from category theory in the functional programming language Standard ML. Documentation and code. www.cs.man.ac.uk/~david/categories
Forsiden | 
