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