Skip to main content
Became Hot Network Question
added 88 characters in body
Source Link

If we have a category $\mathcal{C}$, then we can see it as an $\infty$-category. Furthermore, we can truncate and $\infty$-category $\mathcal{X}$ to get a category $\mathcal{X}_{\leq 1}$. My question is if these functors are adjoint, i.e. if we have $$\text{Hom}_{\mathfrak{Cat}}(\mathcal{X}_{\leq 1}, \mathcal{Y})\cong \text{Hom}_{\infty\text{-}\mathfrak{Cat}}(\mathcal{X},\mathcal{Y})?$$$$\text{Hom}_{\mathfrak{Cat}}(\mathcal{X}_{\leq 1}, \mathcal{Y})\cong \text{Hom}_{\infty\text{-}\mathfrak{Cat}}(\mathcal{X},\mathcal{Y})$$ where $\mathcal{Y}$ is a category (which on the right is seen as an $\infty$-category).

If we have a category $\mathcal{C}$, then we can see it as an $\infty$-category. Furthermore, we can truncate and $\infty$-category $\mathcal{X}$ to get a category $\mathcal{X}_{\leq 1}$. My question is if these functors are adjoint, i.e. if we have $$\text{Hom}_{\mathfrak{Cat}}(\mathcal{X}_{\leq 1}, \mathcal{Y})\cong \text{Hom}_{\infty\text{-}\mathfrak{Cat}}(\mathcal{X},\mathcal{Y})?$$

If we have a category $\mathcal{C}$, then we can see it as an $\infty$-category. Furthermore, we can truncate and $\infty$-category $\mathcal{X}$ to get a category $\mathcal{X}_{\leq 1}$. My question is if these functors are adjoint, i.e. if we have $$\text{Hom}_{\mathfrak{Cat}}(\mathcal{X}_{\leq 1}, \mathcal{Y})\cong \text{Hom}_{\infty\text{-}\mathfrak{Cat}}(\mathcal{X},\mathcal{Y})$$ where $\mathcal{Y}$ is a category (which on the right is seen as an $\infty$-category).

removed capitals from title
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

Truncation of Infinityinfinity-categories

Source Link

Truncation of Infinity-categories

If we have a category $\mathcal{C}$, then we can see it as an $\infty$-category. Furthermore, we can truncate and $\infty$-category $\mathcal{X}$ to get a category $\mathcal{X}_{\leq 1}$. My question is if these functors are adjoint, i.e. if we have $$\text{Hom}_{\mathfrak{Cat}}(\mathcal{X}_{\leq 1}, \mathcal{Y})\cong \text{Hom}_{\infty\text{-}\mathfrak{Cat}}(\mathcal{X},\mathcal{Y})?$$