Skip to main content
Source Link
Bernie
  • 131
  • 1
  • 7

This is also merely a long comment.

'Not to mention that to my eye you do category theory only the australian way; everyone else is applying category theory towards the solution of a specific mathematical problem.'

History shows that the 'australian way' (whatever this might mean) is not the way to go; and that the correct approach is to regard category theory as an auxiliary branch of mathematics. Basically anything useful in category theory was developped to help solving problems and formalising definitions in algebraic topology, algebraic geometry, etc. Grothendieck himself (the patron of everything abstract) regarded algebra in this way: as a means, not as an end. I know that some people prefer to write 2000 pages of purely formal arguments. Because that is way easier than solving some real problems that have been around for dozens of years.

'But turning to philosophy would be, if possible, even a more unfortunate choice: philosophers tend to be silly, ignorant people who claim to be able to explain ethics (=a complicated and elusive task) ignoring linear algebra (=something that shall be the common core of knowledge of every learned person).'

Maybe it is your task to develop a category-theoretic, linear-algebraic approach to ethics, and to enlighten those 'ignorant people'? I don't know whether you are joking (I certainly am), but if you really think that liner algebra has meaningful applications in ethics, you should go back to the beginning: enrol again as an undergrad and make a new start.

Post Made Community Wiki by Bernie