Horrible answers to "What is a type?"

dark mode? back?

Table of contents

• A set.
• Absolutely not a set.
• An element of a category.
• A proposition.
• A chosen fixed point of a generating function.
• The initial algebra/final coalgebra of a generating endofunctor over a reasonable base category (say, Set).
• A metaphorical representation of bytes.
• A membership function UNIV -> bool.
• Propaganda made up by Big Typechecker to make us complacent.
• The archetype of person that you tend to feel attracted to romantically.

back?