An Introduction to Category Theory – Harold Simmons