Koszul duality and homotopy algebras for operads over quivers

@misc{yuan2026koszul,
  title = {{Koszul duality and homotopy algebras for operads over quivers}},
  author = {Hang Yuan},
  howpublished = {arXiv},
  year = {2026},
  month = nov,
  doi = {10.48550/arxiv.2611.06165},
  eprint = {2611.06165},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2611.06165},
}

TY  - UNPB
TI  - Koszul duality and homotopy algebras for operads over quivers
AU  - Hang Yuan
PY  - 2026
DA  - 2026/11/04
PB  - arXiv
DO  - 10.48550/arxiv.2611.06165
UR  - https://arxiv.org/abs/2611.06165
AB  - For a quiver Q, we introduce and study Q-operads (or operads over Q), defined as a special sort of fc-multicategories or virtual double categories, in which the directions of the arrows of Q encode the permitted input orderings. In this higher operadic framework, we construct the bar--cobar adjunction and develop a theory of Koszul duality and homotopy algebras, together with compatibility results under changes of quiver. We treat dg categories and their left modules, right modules, and bimodules as algebras over quiver-operads. We prove that these operads are Koszul and that their resolutions govern the corresponding A_∞ categories and modules. We also categorify Sagave's notion of derived A_∞ algebras and introduce modules over derived A_∞ algebras and categories. Finally, we explain that restriction along a folding of quivers constructs diagonal A_∞ bimodules, while extension along an inclusion of quivers realizes two-sided bar models of derived tensor products.
ER  -