4 ms·

Worse than math, where set theory, type theory, group theory, and category theory all exist and refer to barely-related things?

• lucasoshiro 2y ago
  I really can't see why they are called categories... Do we have anything that we categorize and get categories from it? Looks like another synonym to "set" and "group" that wasn't used so far.
  • AnimalMuppet 2y ago
    So in a thread about Mars's atmosphere, we wind up at category theory. Never change, HN, never change.
  • andrewflnr 2y ago
    [dead]