Spivak's MIT Press Categories book: brief review