Abstract:In this work, we continue the investigation of certain enrichments of dual algebraic structures in monoidal double categories, that was initiated in [Vas19]. First, we re-visit monads and comonads in double categories and establish a tensored and cotensored enrichment of the former in the latter, under general conditions. These include monoidal closedness and local presentability of the double category, notions that are proposed as tools required for our main results, but are of interest in their own right. The natural next step involves categories of the newly introduced modules for monads and comodules for comonads in double categories. After we study their main categorical properties, we establish a tensored and cotensored enrichment of modules in comodules, as well as an enriched fibration structure that involves (co)modules over (co)monads in double categories. Applying this abstract double categorical framework to the setting of V-matrices produces an enrichment of the category of V-enriched modules (fibred over V-categories) in V-enriched comodules (opfibred over V-cocategories), which is the many-object generalization of the respective result for modules (over algebras) and comodules (over coalgebras) in monoidal categories.

Enriched Koszul Duality

Global Koszul duality

Categorical Koszul duality

Koszul duality for non-graded derived categories

Koszul Monoids in Quasi-abelian Categories

A cup-cap duality in Koszul calculus

Enriched duality in double categories II: modules and comodules

Model Category Structure on Simplicial Algebras via Dold-Kan Correspondence

Koszul duality and Calabi-Yau structures

A monoidal Dold-Kan correspondence for comodules

Duality in Monoidal Categories

Monoidal algebraic model structures

(Contravariant) Koszul duality for DG algebras

Grothendieck-Verdier duality in categories of bimodules and weak module functors

Model $\infty$-categories II: Quillen adjunctions

Universal Koszul Duality for Kac-Moody Groups

Koszul duality and a conjecture of Francis-Gaitsgory

dg-Hecke duality and tensor products

Lagrangian Skeleta and Koszul Duality on Bionic Symplectic Varieties

Positselski duality in stable $\infty$-categories