 |
|  |
||||||||||
 |
||||||||||||
  |
||||||||||||
|
Category Theory and Homological Algebra
In the "known maths" series.
Categories, Quantization, and Much More
Introductory article by John Baez.
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.
Computational Category Theory
An implementation of concepts and constructions from category theory in the functional programming language Standard ML. Documentation and code.
Paul Taylor's Home Page
Includes papers on category theory.
Open Problems on Model Categories
Problems on model categories listed by Mark Hovey at Wesleyan University.
Descent and Category Theory Connections
Maintained by M. Alsani.
Categories Home Page
Web page for the category theory mailing list.
|
|
||
 |
|||