Basic Category Theory, Hardcover/Tom Leinster