Feedback for linearly distributive categories: Traces and fixpoints

DOI10.1016/S0022-4049(99)00180-2zbMath0964.03063MaRDI QIDQ1588062

R. A. G. Seely, Richard F. Blute, J. Robin B. Cockett

Publication date: 9 July 2001

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

linear logictraceslinearly distributive categories

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Symmetric monoidal categories (19D23)

Related Items (9)

Feedback, trace and fixed-point semantics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Towards a typed Geometry of Interaction ⋮ Machine semantics ⋮ Proofs as Polynomials ⋮ On categorical models of classical logic and the Geometry of Interaction ⋮ On traced monoidal closed categories ⋮ A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Weakly distributive categories
• A characterization of the least-fixed-point operator by dinaturality
• Nuclearity in the category of complete semilattices
• Natural deduction and coherence for weakly distributive categories
• The geometry of tensor calculus. I
• COLOG-88. International conference on computer logic, Tallinn, USSR, December 12-16, 1988. Proceedings
• New foundations for the geometry of interaction
• Nuclear and trace ideals in tensored \(^*\)-categories
• Linearly distributive functors
• Linear Läuchli semantics
• ! and ? – Storage as tensorial strength
• Traced monoidal categories
• Retracing some paths in process algebra

This page was built for publication: Feedback for linearly distributive categories: Traces and fixpoints