[jesuslop]

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]

Yes, that's why I recommend starting out with 7 Sketches.

[jesuslop]

Right, my mistake.