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.
• That thing you put after the : to make the computer stop yelling at you :(
• as any
• Propaganda made up by Big Typechecker to make us complacent.
• Nerd shit.
• The archetype of person that you tend to feel attracted to romantically.
• A metal plate with a glyph, used for printing ink onto paper.

back?