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 ...
Expand abstract
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Authors
Funding
Engineering and Physical Sciences Research Council
More from this funder
Bibliographic Details
- Publisher:
- Open Publishing Association Publisher's website
- Host title:
- Proceedings 37th Conference on Mathematical Foundations of Programming Semantics
- Series:
- Electronic Proceedings in Theoretical Computer Science
- Series number:
- 351
- Pages:
- 84–97
- 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-30
- Event end date:
- 2021-09-02
- DOI:
- EISSN:
-
2075-2180
Item Description
- Language:
- English
- Keywords:
- Pubs id:
-
1202532
- Local pid:
- pubs:1202532
- Deposit date:
- 2021-10-13
Terms of use
- Copyright holder:
- Hu and Vicary
- Copyright date:
- 2021
- Rights statement:
- © N. Hu & J. Vicary. This work is licensed under the Creative Commons Attribution License.
- Licence:
- CC Attribution (CC BY)
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record