Partial traces on additive categories

DOI10.1016/j.entcs.2018.11.011OpenAlexW2904583175WikidataQ113317486 ScholiaQ113317486MaRDI QIDQ2134829

Naohiko Hoshino

Publication date: 3 May 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2018.11.011

zbMATH Keywords

abelian categoryadditive categorygeometry of interactionpartial traceexecution formulakernel-image trace

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Partially traced categories
• A Survey of Graphical Languages for Monoidal Categories
• Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial
• Towards a typed Geometry of Interaction
• Geometry of Interaction and linear combinatory algebras
• Traced monoidal categories
• Categories and Sheaves

This page was built for publication: Partial traces on additive categories