Definition 1.4.12. For \(\infty \)-categories \(C\) and \(D\), we write \(\Map (C,D)\) for the anima \(\Fun (C,D)^{\simeq }\), and refer to it as the mapping anima between \(C\) and \(D\).
Generated from the authoritative LaTeX source.
Definition 1.4.12. For \(\infty \)-categories \(C\) and \(D\), we write \(\Map (C,D)\) for the anima \(\Fun (C,D)^{\simeq }\), and refer to it as the mapping anima between \(C\) and \(D\).
Generated from the authoritative LaTeX source.