Skip to main content
Became Hot Network Question
Added top level tags to this new question
Source Link
David White
  • 30.3k
  • 9
  • 153
  • 250

Let $\mathcal{C}$ be some category. One way to map this category into a triangulated category is to take the category of simplicial objects $s\mathcal{C}$ (which is an $\infty$-category), take its stabilization $\text{Stab}(s\mathcal{C})$ and take the homotopy category $\text{Ho}(s\mathcal{C})$ of the simplicial category (which is triangulated since it is the homotopy category of a stable $\infty$-category). Then we get a natural mapfunctor $$\mathcal{C}\rightarrow \text{Ho}(\text{Stab}(s\mathcal{C})).$$ My question is:

Does $\text{Ho}(\text{Stab}(s\mathcal{C}))$ satisfy some universal property?

i.e.That is, is it the "universal triangulated category" associated to $\mathcal{C}$ in some sense, i.e. if $\mathcal{T}$ is a triangulated category and $\mathcal{C}\rightarrow \mathcal{T}$ satisfying some properties, does this factor through $\mathcal{C}\rightarrow \text{Ho}(\text{Stab}(s\mathcal{C}))?$

If this isn't a "universal triangulated category"category," does there exist such a construction?

Let $\mathcal{C}$ be some category. One way to map this category into a triangulated category is to take the category of simplicial objects $s\mathcal{C}$ (which is an $\infty$-category), take its stabilization $\text{Stab}(s\mathcal{C})$ and take the homotopy category $\text{Ho}(s\mathcal{C})$ of the simplicial category (which is triangulated since it is the homotopy category of a stable $\infty$-category). Then we get a natural map $$\mathcal{C}\rightarrow \text{Ho}(\text{Stab}(s\mathcal{C})).$$ My question is:

Does $\text{Ho}(\text{Stab}(s\mathcal{C}))$ satisfy some universal property?

i.e. is it the "universal triangulated category" associated to $\mathcal{C}$ in some sense, i.e. if $\mathcal{T}$ is a triangulated category and $\mathcal{C}\rightarrow \mathcal{T}$ satisfying some properties, does this factor through $\mathcal{C}\rightarrow \text{Ho}(\text{Stab}(s\mathcal{C}))?$

If this isn't a "universal triangulated category", does there exist such a construction?

Let $\mathcal{C}$ be some category. One way to map this category into a triangulated category is to take the category of simplicial objects $s\mathcal{C}$ (which is an $\infty$-category), take its stabilization $\text{Stab}(s\mathcal{C})$ and take the homotopy category $\text{Ho}(s\mathcal{C})$ of the simplicial category (which is triangulated since it is the homotopy category of a stable $\infty$-category). Then we get a natural functor $$\mathcal{C}\rightarrow \text{Ho}(\text{Stab}(s\mathcal{C})).$$ My question is:

Does $\text{Ho}(\text{Stab}(s\mathcal{C}))$ satisfy some universal property?

That is, is it the "universal triangulated category" associated to $\mathcal{C}$ in some sense, i.e. if $\mathcal{T}$ is a triangulated category and $\mathcal{C}\rightarrow \mathcal{T}$ satisfying some properties, does this factor through $\mathcal{C}\rightarrow \text{Ho}(\text{Stab}(s\mathcal{C}))?$

If this isn't a "universal triangulated category," does there exist such a construction?

added 92 characters in body
Source Link

Let $\mathcal{C}$ be some category. One way to map this category into a triangulated category is to take the category of simplicial objects $s\mathcal{C}$ (which is an $\infty$-category), take its stabilization $\text{Stab}(s\mathcal{C})$ and take the homotopy category $\text{Ho}(s\mathcal{C})$ of the simplicial category (which is triangulated since it is the homotopy category of a stable $\infty$-category). Then we get a natural map $$\mathcal{C}\rightarrow \text{Ho}(\text{Stab}(s\mathcal{C})).$$ My question is:

Does $\text{Ho}(\text{Stab}(s\mathcal{C}))$ satisfy some universal property?

i.e. is it the "universal triangulated category" associated to $\mathcal{C}$ in some sense, i.e. if $\mathcal{T}$ is a triangulated category and $\mathcal{C}\rightarrow \mathcal{T}$ satisfying some properties, does this factor through $\mathcal{C}\rightarrow \text{Ho}(\text{Stab}(s\mathcal{C}))?$

If this isn't a "universal triangulated category", does there exist such a construction?

Let $\mathcal{C}$ be some category. One way to map this category into a triangulated category is to take the category of simplicial objects $s\mathcal{C}$ (which is an $\infty$-category), take its stabilization $\text{Stab}(s\mathcal{C})$ and take the homotopy category $\text{Ho}(s\mathcal{C})$ of the simplicial category (which is triangulated since it is the homotopy category of a stable $\infty$-category). Then we get a natural map $$\mathcal{C}\rightarrow \text{Ho}(\text{Stab}(s\mathcal{C})).$$ My question is:

Does $\text{Ho}(\text{Stab}(s\mathcal{C}))$ satisfy some universal property?

i.e. is it the "universal triangulated category" associated to $\mathcal{C}$ in some sense, i.e. if $\mathcal{T}$ is a triangulated category and $\mathcal{C}\rightarrow \mathcal{T}$ satisfying some properties, does this factor through $\mathcal{C}\rightarrow \text{Ho}(\text{Stab}(s\mathcal{C}))?$

Let $\mathcal{C}$ be some category. One way to map this category into a triangulated category is to take the category of simplicial objects $s\mathcal{C}$ (which is an $\infty$-category), take its stabilization $\text{Stab}(s\mathcal{C})$ and take the homotopy category $\text{Ho}(s\mathcal{C})$ of the simplicial category (which is triangulated since it is the homotopy category of a stable $\infty$-category). Then we get a natural map $$\mathcal{C}\rightarrow \text{Ho}(\text{Stab}(s\mathcal{C})).$$ My question is:

Does $\text{Ho}(\text{Stab}(s\mathcal{C}))$ satisfy some universal property?

i.e. is it the "universal triangulated category" associated to $\mathcal{C}$ in some sense, i.e. if $\mathcal{T}$ is a triangulated category and $\mathcal{C}\rightarrow \mathcal{T}$ satisfying some properties, does this factor through $\mathcal{C}\rightarrow \text{Ho}(\text{Stab}(s\mathcal{C}))?$

If this isn't a "universal triangulated category", does there exist such a construction?

deleted 66 characters in body
Source Link

Let $\mathcal{C}$ be some category. One way to map this category into a triangulated category is to take the associated simplicial category of simplicial objects $s\mathcal{C}$ (which is an $\infty$-category), take its stabilization $\text{Stab}(s\mathcal{C})$ and take the homotopy category $\text{Ho}(s\mathcal{C})$ of the simplicial category (which is triangulated since it is the homotopy category of ana stable $\infty$-category). Then we get a natural map $$\mathcal{C}\rightarrow \text{Ho}(s\mathcal{C}).$$$$\mathcal{C}\rightarrow \text{Ho}(\text{Stab}(s\mathcal{C})).$$ An example of this construction would be to set $\mathcal{C}=A$ for some abelian category, in which case by Dolb-Kan, we have $\text{Ho}(s\mathcal{C})\cong D(A).$ MyMy question is:

Does $\text{Ho}(s\mathcal{C})$$\text{Ho}(\text{Stab}(s\mathcal{C}))$ satisfy some universal property?

i.e. is it the "universal triangulated category" associated to $\mathcal{C}$ in some sense, i.e. if $\mathcal{T}$ is a triangulated category and $\mathcal{C}\rightarrow \mathcal{T}$ satisfying some properties, does this factor through $\mathcal{C}\rightarrow \text{Ho}(s\mathcal{C})?$$\mathcal{C}\rightarrow \text{Ho}(\text{Stab}(s\mathcal{C}))?$

Let $\mathcal{C}$ be some category. One way to map this category into a triangulated category is to take the associated simplicial category $s\mathcal{C}$ (which is an $\infty$-category) and take the homotopy category $\text{Ho}(s\mathcal{C})$ of the simplicial category (which is triangulated since it is the homotopy category of an $\infty$-category). Then we get a natural map $$\mathcal{C}\rightarrow \text{Ho}(s\mathcal{C}).$$ An example of this construction would be to set $\mathcal{C}=A$ for some abelian category, in which case by Dolb-Kan, we have $\text{Ho}(s\mathcal{C})\cong D(A).$ My question is:

Does $\text{Ho}(s\mathcal{C})$ satisfy some universal property?

i.e. is it the "universal triangulated category" associated to $\mathcal{C}$ in some sense, i.e. if $\mathcal{T}$ is a triangulated category and $\mathcal{C}\rightarrow \mathcal{T}$ satisfying some properties, does this factor through $\mathcal{C}\rightarrow \text{Ho}(s\mathcal{C})?$

Let $\mathcal{C}$ be some category. One way to map this category into a triangulated category is to take the category of simplicial objects $s\mathcal{C}$ (which is an $\infty$-category), take its stabilization $\text{Stab}(s\mathcal{C})$ and take the homotopy category $\text{Ho}(s\mathcal{C})$ of the simplicial category (which is triangulated since it is the homotopy category of a stable $\infty$-category). Then we get a natural map $$\mathcal{C}\rightarrow \text{Ho}(\text{Stab}(s\mathcal{C})).$$ My question is:

Does $\text{Ho}(\text{Stab}(s\mathcal{C}))$ satisfy some universal property?

i.e. is it the "universal triangulated category" associated to $\mathcal{C}$ in some sense, i.e. if $\mathcal{T}$ is a triangulated category and $\mathcal{C}\rightarrow \mathcal{T}$ satisfying some properties, does this factor through $\mathcal{C}\rightarrow \text{Ho}(\text{Stab}(s\mathcal{C}))?$

Source Link
Loading