Intuitionistic type
I take things constructively
Topos type
Looking for someone who accepts my internal logic
Euclidean Frame type
All my exes know each other
Reflexive Frame type
I am very self-aware
The Injective type
I promise I will never confuse you with someone else
Disconnected Space type
I don’t open up easily