Categories for the working mathematician - Lane, Sunders Mac (1998)