Coherence for monoidal endofunctors
From MaRDI portal
Publication:3583019
Abstract: The goal of this paper is to prove coherence results with respect to relational graphs for monoidal endofunctors, i.e. endofunctors of a monoidal category that preserve the monoidal structure up to a natural transformation that need not be an isomorphism. These results are proved first in the absence of symmetry in the monoidal structure, and then with this symmetry. In the later parts of the paper the coherence results are extended to monoidal endofunctors in monoidal categories that have diagonal or codiagonal natural transformations, or where the monoidal structure is given by finite products or coproducts. Monoidal endofunctors are interesting because they stand behind monoidal monads and comonads, for which coherence will be proved in a sequel to this paper.
Recommendations
Cites work
- scientific article; zbMATH DE number 1840601 (Why is no real title available?)
- Closed categories, star-autonomy, and monoidal comonads
- Coherence in closed categories
- Coherence in substructural categories
- Functors between tensored categories
- Hopf monads
- Monads on symmetric monoidal closed categories
- Monads on tensor categories
- Notions of computation and monads
- Strong functors and monoidal monads
This page was built for publication: Coherence for monoidal endofunctors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3583019)
