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