4 ms·
Why do you invocate a categoric theorem when the theory that is discussed on Quanta has a manifestly non-category-theoretic flavor?...
by data_maan 4y ago
Why do you invocate a categoric theorem when the theory that is discussed on Quanta has a manifestly non-category-theoretic flavor?...
- adamnemecek 4y agoBecause it ties it into a larger ecosystem.
- data_maan 4y agoWell... this is kind of a problem with category theory, isn't it? Almost every can be categorified (which, I know, is insanely popular these days). But outside of pure mathematics I'm having trouble seeing why such a categorification is really useful. Yes, it can be nice, but it often seems more like linguistic exercise than providing crucial insight.