Conference item

### Traced monoidal categories as algebraic structures in Prof

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 Prof, 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 ...

Publication status:
Published
Peer review status:
Peer reviewed

### Access Document

Files:
• (Version of record, 298.1KB)
Publisher copy:
10.4204/EPTCS.351.6

### Authors

More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Oxford college:
Balliol College
Role:
Author
Engineering and Physical Sciences Research Council More from this funder
Publisher:
Open Publishing Association Publisher's website
Pages:
84–97
Series:
Electronic Proceedings in Theoretical Computer Science
Series number:
351
Host title:
Proceedings 37th Conference on Mathematical Foundations of Programming Semantics
Publication date:
2021-12-29
Acceptance date:
2021-08-03
Event title:
37th Conference on Mathematical Foundations of Programming Semantics (MFPS 2021)
Event location:
Salzburg, Austria
Event website:
https://www.coalg.org/calco-mfps2021/
Event start date:
2021-08-30T00:00:00Z
Event end date:
2021-09-02T00:00:00Z
DOI:
EISSN:
2075-2180
Language:
English
Keywords:
Pubs id:
1202532
Local pid:
pubs:1202532
Deposit date:
2021-10-13