单位 ${A}_\infty$-范畴的商范畴
范畴论
2008-02-17 v5 K理论与同调
摘要
对单位 A_infinity-范畴 C 的满子范畴 B，定义一个商单位 A_infinity-范畴 `C/B'。对微分分次范畴，此类商由 V.Drinfeld 构造。我们的构造是显式的，并运用自由生成的 A_infinity-范畴。该商 D=`C/B' 表示了 A_infinity-2-函子 A \mapsto A_\infty^u(C,A)_{modulo B}，它将给定单位 A_infinity-范畴 A 映至单位 A_infinity-函子范畴 C -> A，其对 B 的限制是可缩的。
引用
@article{arxiv.math/0306018,
title = {Quotients of unital ${A}_\infty$-categories},
author = {Volodymyr Lyubashenko and Oleksandr Manzyuk},
journal= {arXiv preprint arXiv:math/0306018},
year = {2008}
}
备注
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