3 ms·
It CAN be useful, you say, but is it actually? Is anyone using it? Beyond a handful of exceptions, I would say no. Set theory actually IS used as the foundatio
by user-the-name 6y ago
It CAN be useful, you say, but is it actually? Is anyone using it? Beyond a handful of exceptions, I would say no.
Set theory actually IS used as the foundation of other work. But category theory isn't, as far as I know.