Conference item icon

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


Access Document


Files:
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

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP