2003/06/01 by Volodymyr Lyubashenko, Lyubashenko, Volodymyr, Oleksandr Manzyuk +1
Mathematics · Medicine · #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #K-Theory and Homology (math.KT) #Ophthalmology and Eye Disorders #math.CT #math.KT
paper · pdf · doi:10.48550/arxiv.math/0306018
92 pages, LaTeX, uses Paul Taylor's diagrams.sty; the A_infiniti Yoneda Lemma is referred to another paper instead of being proved. Resubmitted for TeXnical reasons
openalex publication_date 2003/06/01 · arxiv created 2008/02/17 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
For a full subcategory B of a unital Ainfinity-category C a quotient unital Ainfinity-category `C/B' is defined. For differential graded categories such quotient is constructed by V.Drinfeld. Our construction is explicit and uses freely generated Ainfinity-categories. The quotient D=`C/B' represents the Ainfinity-2-functor A ↦ A_∞u(C,A)modulo B, which associates with a given unital Ainfinity-category A the Ainfinity-category of unital Ainfinity-functors C -> A, whose restriction to B is contractible.