'Category theory is fine but won't give you "anything new"'. This is far from the truth and disregards a significant body of work in programming language theory (not to mention algebraic geometry and topology). Perhaps…
'Category theory is fine but won't give you "anything new"'. This is far from the truth and disregards a significant body of work in programming language theory (not to mention algebraic geometry and topology). Perhaps…