Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories (Q1730855): Difference between revisions

The paper [\textit{M. Hyland} et al., Proc. Lond. Math. Soc. (3) 115, No. 5, 1118--1148 (2017; Zbl 1405.16046)] establishes an enrichment of the category of monoids in comonoids within a braided monoidal closed category $\mathcal{V}$, which is an abstract framework for so-called Sweedler theory of algebras and coalgebras in differential graded vector spaces [\textit{M. Anel} and \textit{A. Joyal}, ``Sweedler Theory for (co)algebras and the bar-cobar constructions'', Preprint, \url{arXiv:1309.6952}], leading to an efficient formalism for the bar-cobar adjunction in a broader effort to conceptually clarify the Koszul duality for (co)algebras [\textit{J.-L. Loday} and \textit{B. Vallette}, Algebraic operads. Berlin: Springer (2012; Zbl 1260.18001)]. The principal objective in this paper is to generalize the above result to its many-object setting. Introducing the notion of a $\mathcal{V}$-enriched cocategory, which reduces to a comonoid in $\mathcal{V}$\ when its set of objects is singleton, the author establishes an enrichment of the category of $\mathcal{V}$-catagories in $\mathcal{V}$-cocategories. Being realized under the same assumptions, this enrichment shares all fundamental characteriztics with Sweedler theory for (co)monoids. The framework is that of a double category of $\mathcal{V}$-matrices, $\mathcal{V}$-$\mathbb{M}\boldsymbol{at}$. To that end, the author gives a detailed framework for monads and comonads within arbitarary double categories, exploring their (op)fibrational structure in the fibrant case [\textit{M. Shulman}, Theory Appl. Categ. 20, 650--738 (2008; Zbl 1192.18005)] and pushing the enrichment objective as far as possible. In this way, categories and cocategories are deduced from natural properties of monads and comonads in monoidal fibrant double categories, which are furthermore locally closed monoidal. By introducing this concept to endow the vertical and horizontal categories with a monoidal closed structure, the author gets an action of the category of monads on comonads, which gives rise to the desired enrichment under certain assumptions. General fibered adjunction results and some basic enriched fibration machinery are applied to the double category setting for the monoidal (op)fibrations of (co)monads, leading to respective results for $\mathcal{V}$-categories and $\mathcal{V}$-cocategories in $\mathcal{V}$-$\mathbb{M}\boldsymbol{at}$.