Kerodon

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

Remark 2.5.9.3. Let $\operatorname{\mathcal{C}}$ be a differential graded category and let $\operatorname{\mathcal{C}}^{\circ }$ denote its underlying category (in the sense of Construction 2.5.2.4). Then $\operatorname{\mathcal{C}}^{\circ }$ is isomorphic to the underlying ordinary category $\operatorname{\mathcal{C}}^{\Delta }_{0}$ of the simplicial category $\operatorname{\mathcal{C}}^{\Delta }$ (in the sense of Example 2.4.1.4). Both of these categories can be described concretely as follows:

  • The objects of $\operatorname{\mathcal{C}}^{\circ } \simeq \operatorname{\mathcal{C}}^{\Delta }_0$ are the objects of $\operatorname{\mathcal{C}}$.

  • For objects $X,Y \in \operatorname{\mathcal{C}}$, the morphisms from $X$ to $Y$ in the category $\operatorname{\mathcal{C}}^{\circ } \simeq \operatorname{\mathcal{C}}^{\Delta }_0$ are given by $0$-cycles in the chain complex $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(X,Y)_{\ast }$.