Traced monoidal categories as algebraic structures in \mathbf{Prof}

DOI10.4204/EPTCS.351.6MaRDI QIDQ6504643arXivFDO

Authors Nick Hu, Jamie Vicary

Published in arXiv

Full work available at URL https://doi.org/10.4204/EPTCS.351.6

Mathematics Subject Classification ID

Profunctors (= correspondences, distributors, modules) (18D60) Formal category theory (18D70) Traced monoidal categories, compact closed categories, star-autonomous categories (18M10) String diagrams and graphical calculi (18M30)

Abstract: We define a traced pseudomonoid as a pseudomonoid in a monoidal bicategory equipped with extra structure, giving a new characterisation of Cauchy complete traced monoidal categories as algebraic structures in $mathbfProf$, the monoidal bicategory of profunctors. This enables reasoning about the trace using the graphical calculus for monoidal bicategories, which we illustrate in detail. We apply our techniques to study traced $\ast$-autonomous categories, proving a new equivalence result between the left $otimes$-trace and the right $unicode8523$-trace, and describing a new condition under which traced $\ast$-autonomous categories become autonomous.

This page was built for publication: Traced monoidal categories as algebraic structures in $\mathbf{Prof}$

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