please don't ask me what a type is. i don't know how to explain and it's my number 1 source of impostor syndrome basically
Conversation
A type is a member of a universe. That's it. To rift on Quine, to be is to be classified by an object classifier.
1
1
what if you're doing type theory without any universes
4
2
(disclaimer: above is a poor attempt at a joke – I have no clue what I'm talking about)
2