{http://staff.science.uva.nl/~poss/categories-from-scratch.html#prologue} Category Theory from Scratch