Thin Category #card #bidirectional
Every Hom-set is an empty set or a singleton set
isomorphism -> Pre-order
If there is an arrow between two objects, those objects have a relation
Defines a relation