A categorical model for the geometry of interaction

DOI10.1016/j.tcs.2005.10.028zbMath1086.03050OpenAlexW2020295593MaRDI QIDQ817846

Esfandiar Haghverdi, Philip J. Scott

Publication date: 20 March 2006

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.10.028

zbMATH Keywords

linear logicgeometry of interactionunique decomposition categoriespartially additive categoriestraced monoidal categories

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (21)

A Representation Theorem for Unique Decomposition Categories ⋮ Dagger categories of tame relations ⋮ A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations ⋮ Partially traced categories ⋮ A correspondence between maximal abelian sub-algebras and linear logic fragments ⋮ Towards a typed Geometry of Interaction ⋮ A categorical analogue of the monoid semiring construction ⋮ Machine semantics ⋮ Quantum circuit oracles for abstract machine computations ⋮ Proofs as Polynomials ⋮ Musings around the geometry of interaction, and coherence ⋮ Towards a geometry of recursion ⋮ On the Functor ℓ2 ⋮ On categorical models of classical logic and the Geometry of Interaction ⋮ Quantum logic in dagger kernel categories ⋮ On geometry of interaction for polarized linear logic ⋮ On traced monoidal closed categories ⋮ An Explicit Framework for Interaction Nets ⋮ Quantum Logic in Dagger Kernel Categories ⋮ A MALL geometry of interaction based on indexed linear logic ⋮ Aspects of Categorical Recursion Theory

Cites Work

• The geometry of tensor calculus. I
• Algebraically compact functors
• New foundations for the geometry of interaction
• Glueing and orthogonality for models of linear logic
• Unique decomposition categories, Geometry of Interaction and combinatory logic
• A relational model of non-deterministic dataflow
• Geometry of Interaction and linear combinatory algebras
• A categorical framework for finite state machines
• Traced monoidal categories
• Types for Proofs and Programs
• Retracing some paths in process algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A categorical model for the geometry of interaction