Quotients of unital A∞-categories
Abstract
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.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.