Category theory for the sciences - Spivak, David I. 1978- (MIT Press, 2014)