5 ms·

Agreed on the institute and Spivak. But CWM is, er, for working mathematicians. Leinster's Basic Category Theory, or Awodey Category theory are more unassuming.

• lgdw 4y ago
  Yes, that's why I recommend starting out with 7 Sketches.
  • jesuslop 4y ago
    Right, my mistake.