English

Koszul duality for categories with a fixed object set

Category Theory 2022-04-08 v1 Algebraic Topology

Abstract

We define a notion of Koszul dual of a monoid object in a monoidal biclosed model category. Our construction generalizes the classic Yoneda algebra ExtA(k,k)Ext_A(k,k). We apply this general construction to define the Koszul dual of a category enriched over spectra or chain complexes. This example relies on the classical observation that enriched categories are monoid objects in a category of enriched graphs. We observe that the category of enriched graphs is biclosed, meaning that it comes with both left and right internal hom objects. Given a category RR (which plays the role of the ground field kk in classical algebra), and an augmented RR-algebra CC, we define the Koszul dual of CC, denoted K(C)K(C), as the RR-algebra of derived endomorphisms of RR in the category of right CC-modules. We establish the expected adjunctions between the categories of modules over CC and modules over K(C)K(C). We investigate the question of when the map from CC to its double dual K(K(C))K(K(C)) is an equivalence. We also show that Koszul duality of operads can be understood as a special case of Koszul duality of categories. In this way we incorporate Koszul duality of operads in a wider context, and possibly clarify some aspects of it.

Keywords

Cite

@article{arxiv.2204.03389,
  title  = {Koszul duality for categories with a fixed object set},
  author = {Hadrien Espic},
  journal= {arXiv preprint arXiv:2204.03389},
  year   = {2022}
}
R2 v1 2026-06-24T10:41:05.197Z