Partial traces on additive categories

DOI10.1016/J.ENTCS.2018.11.011MaRDI QIDQ2134829zbMATH OpenOpenAlexWikidataFDO

Authors 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 categoryexecution formulageometry of interactionkernel-image tracepartial trace

Mathematics Subject Classification ID

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

Recommendations

• Representation of partial traces
• Partially traced categories
• scientific article; zbMATH DE number 3313453
• Traces in monoidal categories
• Traced monoidal categories

Cites work

• A survey of graphical languages for monoidal categories
• Categories and Sheaves
• Geometry of Interaction and linear combinatory algebras
• Geometry of interaction and the dynamics of proof reduction: a tutorial
• scientific article; zbMATH DE number 1703931 (Why is no real title available?)
• scientific article; zbMATH DE number 4123722 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 2134910 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• Partially traced categories
• Towards a typed geometry of interaction
• Traced monoidal categories

Cited in

(3)

• Partially traced categories
• Ziegler partial morphisms in additive exact categories
• On traces in categories of contractions

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2134829)