Koszul duality for categories with a fixed object set
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 . 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 (which plays the role of the ground field in classical algebra), and an augmented -algebra , we define the Koszul dual of , denoted , as the -algebra of derived endomorphisms of in the category of right -modules. We establish the expected adjunctions between the categories of modules over and modules over . We investigate the question of when the map from to its double dual 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.
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}
}