Kerodon

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

Remark 3.2.1.6. We will often abuse terminology by identifying a pointed simplicial set $(X,x)$ with the underlying simplicial set $X$. In this case, we will refer to $x$ as the base point of $X$.