On strictifying extensional reflexivity in compact closed categories
From MaRDI portal
Publication:6612801
DOI10.1007/978-3-031-24117-8_25MaRDI QIDQ6612801FDOQ6612801
Publication date: 1 October 2024
coherencereflexivitygeometry of interactionFrobenius algebrasinverse monoidsstrictificationcompact closurecategorical tracesuntyped logical systems
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Quantum theory, the Church–Turing principle and the universal quantum computer
- A single quantum cannot be cloned
- Braided tensor categories
- On full abstraction for PCF: I, II and III
- Dagger compact closed categories and completely positive maps (extended abstract)
- Geometry of Interaction and linear combinatory algebras
- Traced monoidal categories
- Towards a notion of lambda monoid
- Classical lambda calculus in modern dress
- Retracing some paths in process algebra
- An abstract characterization of Thompson's group \(F\).
- Coherence for compact closed categories
- The Chameleon groups of Richard J. Thompson: Automorphisms and dynamics
- Catégories tannakiennes
- Nuclear and trace ideals in tensored \(^*\)-categories
- \(H^\ast\)-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
- Quantum Circuits with Unbounded Fan-out
- ELEMENTARY AMENABLE SUBGROUPS OF R. THOMPSON'S GROUP F
- Temperley-Lieb Algebra: From Knot Theory to Logic and Computation via Quantum Mechanics
- Categorical formulation of finite-dimensional \(C^*\)-algebras
- A new description of orthogonal bases
- Mathematics across the Iron Curtain. A history of the algebraic theory of semigroups.
- Computer Science Logic
- Coherence for weak units
- A class of subgroups of Thompson's group \(V\).
- The outer limits of reason. What science, mathematics, and logic cannot tell us
- Identities in Modular Arithmetic from Reversible Coherence Operations
- Coherence and strictification for self-similarity
- Classical Structures Based on Unitaries
- Elementary remarks on units in monoidal categories
- Unique decomposition categories, Geometry of Interaction and combinatory logic
- Can a Universal Quantum Computer Be Fully Quantum?
- The structure group for the associativity identity
- Algebra and Coalgebra in Computer Science
- Coherence in Nonmonoidal Closed Categories
- A categorical framework for finite state machines
- Sequent systems for compact bilinear logic
- Machine semantics
- The Polycyclic Inverse Monoids and the Thompson Groups Revisited
This page was built for publication: On strictifying extensional reflexivity in compact closed categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6612801)