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

DOI10.4204/EPTCS.351.6arXiv2109.00589MaRDI QIDQ6504643FDOQ6504643

Nick Hu, Jamie Vicary

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 $*$-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 $*$-autonomous categories become autonomous.

Mathematics Subject Classification ID

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

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)