4 ms·

Nope. It is just a different model for the same thing. You might find it enlightens your understanding of composition but it doesn't make it more "real" than an

by jnash 4y ago

Nope. It is just a different model for the same thing. You might find it enlightens your understanding of composition but it doesn't make it more "real" than any other model.

klysm 4y ago
What other model shares the same expressiveness and universality of category theory?
- jnash 4y ago
  Type theory and Set theory. For example.
  - Koshkin 4y ago
    Type theory, maybe; set theory, no.
macrolocal 4y ago
Historically, this mindset hasn't been productive, eg. complex analysts skeptical of GAGA faltered in the 90's and 00's. HoTT is still in its infancy.