📝Thin Category

Thin category or posetal category is a category where for every hom-set, it is either empty or a singleton set (one element). i.e., there is at most one arrow between any two objects per direction.

\begin{equation*} \begin{tikzcd} x \arrow[r, "f", shift left] \arrow[r, "g", shift right, swap] & y \end{tikzcd} \implies f = g \end{equation*}

Thin category is isomorphic to preorder (see Order).

Preorder is a binary relation (≤) that is reflexive and transitive.

\begin{tikzcd} a \arrow[loop, "\leq", swap] \arrow[r, "\leq"] \arrow[rr, "\leq", bend right, swap] & b \arrow[r, "\leq"] & c \end{tikzcd}