Exercise 7.2.4.2. We say that a partially ordered set $(A, \leq )$ is directed if every finite subset $A_0 \subseteq A$ has an upper bound. Show that $(A, \leq )$ is directed if and only if it is filtered, when regarded as a category.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$