On the tensor product of modules over skew monoidal categories

From MaRDI portal
Publication:308158

DOI10.1016/J.JPAA.2016.06.003zbMATH Open1401.18022arXiv1512.01353OpenAlexW2263785679MaRDI QIDQ308158FDOQ308158


Authors: Kornél Szlachányi Edit this on Wikidata


Publication date: 5 September 2016

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: This paper is about skew monoidal tensored V-categories (= skew monoidal hommed V-actegories) and their categories of modules. A module over <M,*,R> is an algebra for the monad T = R * _ on M. We study in detail the skew monoidal structure of M^T and construct a skew monoidal forgetful functor from M^T to the category of E-objects in M where E=M(R,R) is the endomorphism monoid of the unit object R. Then we give conditions for the forgetful functor to be strong monoidal and for the category M^T of modules to be monoidal. In formulating these conditions a notion of `self-cocomplete' subcategories of presheaves appears to be useful which provides also some insight into the problem of monoidality of the skew monoidal structures found by Altenkirch, Chapman and Uustalu on functor categories [C,M].


Full work available at URL: https://arxiv.org/abs/1512.01353




Recommendations




Cites Work


Cited In (5)





This page was built for publication: On the tensor product of modules over skew monoidal categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q308158)