Let be the homotopy category of a stable infinity category . Then the homotopy category of morphisms in the stable infinity category is also triangulated. Hence the space $,{ \mathscr{C}^{\Delta^{1}}}\mathscr{C}^{\Delta^{1}}$ is well-defined though the non-emptiness of is not obvious. Our basic motivation is a comparison of the homotopy type of and that of . Under the motivation we show that functors and $d_{1} \colon \mathscr{C}^{\Delta^{1}} \rightrightarrows \mathscr{C} {\mathscr{C}}{\mathscr{C}^{\Delta^{1}}}d_{0}d_{1}$) takes a morphism to the target (resp. source) of the morphism. As a consequence, if is nonempty then so is . Assuming is the derived infinity category of the projective line over a field, we further study basic properties of and . In addition, we give an example of a derived category which does not have any stability condition.

生成讲解博客的中文版本

生成AI智能校验的中文版本