Directory: Top/Science/Math/Algebra/Category

Top / Science / Math / Algebra / Category_Theory /

Computational Category Theory
An implementation of concepts and constructions from category theory in the functional programming language Standard ML. Documentation and code.
http://www.cs.man.ac.uk/~david/categories/
Man.ac.uk ~ Site Info Whois Trace Route RBL Check

Higher-Dimensional Categories
An illustrated guide book by Eugenia Cheng and Aaron Lauda (PS/PDF).
http://www.dpmms.cam.ac.uk/~elgc2/guidebook/
Cam.ac.uk ~ Site Info Whois Trace Route RBL Check

Groupoid Home Page
Maintained by Birant Ramazan. Address book, open problems, meetings, pictures, other resources.
http://unr.edu/homepage/ramazan/groupoid/
Unr.edu ~ Site Info Whois Trace Route RBL Check

Groupoids
Notes by Ronald Brown.
http://www.bangor.ac.uk/~mas010/gpds.htm
Bangor.ac.uk ~ Site Info Whois Trace Route RBL Check

Paul Taylor's Home Page
Includes papers on category theory.
http://www.cs.man.ac.uk/~pt/
Man.ac.uk ~ Site Info Whois Trace Route RBL Check