Category Theory for the Sciences - Spivak (IEEE, 2003)