Categories for the Working Mathematician
by
Saunders Mac Lane
Category Theory