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. \]