On traced monoidal closed categories

DOI10.1017/S0960129508007184zbMath1165.18007MaRDI QIDQ3625674

Masahito Hasegawa

Publication date: 6 May 2009

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

traced monoidal categorytortile monoidal categoryint-construction

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Computation by interaction for space-bounded functional programming ⋮ Bialgebras in Rel ⋮ Timed Sets, Functional Complexity, and Computability ⋮ A quantum double construction in Rel ⋮ Semantics of higher-order quantum computation via geometry of interaction ⋮ Partially traced categories ⋮ Pre-rigid monoidal categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Coinduction in Flow: The Later Modality in Fibrations ⋮ The compositional construction of Markov processes II ⋮ Towards a typed Geometry of Interaction ⋮ Quantum circuit oracles for abstract machine computations ⋮ An Algebraic Account of References in Game Semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• A characterization of the least-fixed-point operator by dinaturality
• A categorical model for the geometry of interaction
• Coherence for compact closed categories
• The geometry of tensor calculus. I
• Braided tensor categories
• Tortile tensor categories
• New foundations for the geometry of interaction
• Glueing and orthogonality for models of linear logic
• Feedback for linearly distributive categories: Traces and fixpoints
• The uniformity principle on traced monoidal categories
• Linearly distributive functors
• Simulation of topological field theories by quantum computers
• Finite products are biproducts in a compact closed category
• Dagger Compact Closed Categories and Completely Positive Maps
• Attribute Grammars and Categorical Semantics
• Functorial Boxes in String Diagrams
• *-Autonomous categories and linear logic
• An order-algebraic definition of knuthian semantics
• Geometry of Interaction and linear combinatory algebras
• Traced monoidal categories
• Semantics of context-free languages