A Representation Theorem for Unique Decomposition Categories

DOI10.1016/j.entcs.2012.08.014zbMath1343.03050OpenAlexW2102723093WikidataQ113318077 ScholiaQ113318077MaRDI QIDQ3178284

Naohiko Hoshino

Publication date: 8 July 2016

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

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

zbMATH Keywords

representation theoremgeometry of interactiontraced monoidal categoryunique decomposition category

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

A Representation Theorem for Unique Decomposition Categories, Join inverse categories and reversible recursion, Join Inverse Categories as Models of Reversible Recursion, Inversion, Iteration, and the Art of Dual Wielding

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A categorical model for the geometry of interaction
• Partially traced categories
• Finite products are biproducts in a compact closed category
• A reflection theorem for closed categories
• A Representation Theorem for Unique Decomposition Categories
• Towards a typed Geometry of Interaction
• Unique decomposition categories, Geometry of Interaction and combinatory logic
• Geometry of Interaction and linear combinatory algebras
• Traced monoidal categories