Skip to main content
4 of 4
Added top level tags to this new question
David White
  • 30.3k
  • 9
  • 153
  • 250

"Universal" triangulated category

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?