Category theory - Awodey, Steve, 1959- (Clarendon Press, 2006)