I have learned enough Category theory to realise that it isn’t helpful in solving any software design/programming problems I care about. And also that Type theo

I have learned enough Category theory to realise that it isn’t helpful in solving any software design/programming problems I care about. And also that Type theory is a much simpler and cleaner foundation for math than Category theory.