Filtered \(cA_\infty\)-categories and functor categories (Q1794277): Difference between revisions

As a first part of a bigger project, the basic theory of curved $A_\infty$-categories is developed in a general filtered framework. To any pair of curved $A_\infty$-categories a curved $A_\infty$-category of so-called $qA_\infty$ functors between them is associated. It contains, as the uncurved objects, the curved $A_\infty$-functors. A Yoneda type lemma is proven which implies that every curved $A_\infty$-category is homotopy equivalent (in a suitable homotopy) to a curved differential graded category (similarly to the non-curved case). The bar-cobar adjunction is generalized to the context of curved $A_\infty$-categories.