6 links
Category Theory
plato.stanford.edu
This expository article is an entry in the Stanford Encyclopedia of Philosophy.
Computational Category Theory
cs.man.ac.uk
An implementation of concepts and constructions from category theory in the functional programming language Standard ML. Documentation and code.
Groupoid Home Page
unr.edu
Maintained by Birant Ramazan. Address book, open problems, meetings, pictures, other resources.
Structures Directory
boole.stanford.edu
Email directory of logicians, algebraists, and programming linguists working primarily on structural problems in mathematics and computer science.
Showing 20–6 of 6 results