# Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Example 8.1.0.5. Let $Q$ be a partially ordered set, which we regard as a category. Then the twisted arrow category $\operatorname{Tw}(Q)$ can be identified (via the forgetful functor of Remark 8.1.0.2) with the partially ordered set

$\{ (p,q) \in Q^{\operatorname{op}} \times Q: p \leq q \} \subseteq Q^{\operatorname{op}} \times Q.$