String Diagrams for Premonoidal Categories

MaRDI QIDQ6510042arXivFDO

Authors Mario Román, Paweł Sobociński

Published in arXiv

Mathematics Subject Classification ID

String diagrams and graphical calculi (18M30)

Abstract: Premonoidal and Freyd categories are both generalized by non-cartesian Freyd categories: effectful categories. We construct string diagrams for effectful categories in terms of the string diagrams for a monoidal category with a freely added object.

This page was built for publication: String Diagrams for Premonoidal Categories

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