Basic Category Theory 1st Edition by Tom Leinster