Joyal's CatLab
Basic category theory

Comments or suggestions: I think there should perhaps be a section on ‘new categories from old ones’ or something similar, covering e.g. (co)comma categories, (co)slice categories, functor categories, and product categories. I can start it myself, but I really only know about (co)comma and functor categories. Though I suppose it’s a good reason to learn other constructions.

Category theory


Categorical mathematics

Basic Category Theory


Edit this sidebar

Revised on September 1, 2012 at 22:46:30 by jstalfos