The Uniformity Principle on Traced Monoidal Categories

DOI10.1016/S1571-0661(04)80563-2zbMath1270.18019OpenAlexW2111008373MaRDI QIDQ2842820

Masahito Hasegawa

Publication date: 16 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80563-2

Mathematics Subject Classification ID

Related Items (6)

A Semantical Approach to Equilibria and Rationality ⋮ From Coalgebraic to Monoidal Traces ⋮ Protocol choice and iteration for the free cornering ⋮ Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract) ⋮ Traced Premonoidal Categories ⋮ Comonadic Notions of Computation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Partially additive categories and flow-diagram semantics
• The geometry of tensor calculus. I
• Unique decomposition categories, Geometry of Interaction and combinatory logic
• Traced monoidal categories
• Retracing some paths in process algebra

This page was built for publication: The Uniformity Principle on Traced Monoidal Categories