Remark 11.4.0.16. This tag referred to the use of the term “equivalence” in higher category theory, which has now been replaced by “isomorphism”.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 11.4.0.16. This tag referred to the use of the term “equivalence” in higher category theory, which has now been replaced by “isomorphism”.