2024/05/13 by Yuki Imamura, Imamura, Yuki
Mathematics · #Homotopy and Cohomology in Algebraic Topology #Algebraic structures and combinatorial models
paper · pdf · doi:10.48550/arxiv.2405.07873
We introduce a bicategory that refines the localization of the category of dg categories with respect to quasi-equivalences and investigate its properties via formal category theory. Concretely, we first introduce the bicategory of dg categories DBimod, whose Hom categories are given by the derived categories of dg bimodules, and then define the desired bicategory as the sub-bicategory DBimodrqr consisting of right quasi-representable dg bimodules. The first half of the paper is devoted to the study of adjunctions and equivalences in these bicategories. We then show that the embedding DBimodrqr \hookrightarrow DBimod forms a proarrow equipment in the sense of Richard J. Wood, which provides a framework for formal category theory and enables us to define (weighted) (co)limits in an abstract setting. From this proarrow equipment, we derive the notion of homotopical (co)limits in dg categories, including homotopical shifts and cones, which in turn allows us to give a formal characterization of pretriangulated dg categories. As an application, we provide a conceptual proof of the fact that pretriangulatedness is preserved under the gluing procedure, and we establish reflection results concerning adjoints and colimits.