4 ms·
But category theory is very foundational theory. It would similarly be like learning set theory without further goals, which would be fine if you think of it as
by threatofrain 6y ago
But category theory is very foundational theory. It would similarly be like learning set theory without further goals, which would be fine if you think of it as alternative Sudoku.
As a foundational language it’s there to formalize mathematical objects, but that doesn’t mean people think in either set or category theory, as opposed to higher level objects in their domain.
- acjohnson55 6y agoTotally agree. Just musing on my desire to fully understand this paper, but with the knowledge that all the steps to get there probably won't do much for me outside their own satisfaction. Which, admittedly, might be fun.