The idea of a category - a sort of mathematical universe - has brought about a remarkable unification and simplification of mathematics. Written by two of the best known names in categorical logic, this is the first book to apply categories to the most elementary mathematics.
