Coherence for compact closed categories
From MaRDI portal
Publication:1146248
DOI10.1016/0022-4049(80)90101-2zbMath0447.18005OpenAlexW2008699979WikidataQ59444682 ScholiaQ59444682MaRDI QIDQ1146248
G. M. Kelly, Miguel L. Laplaza
Publication date: 1980
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(80)90101-2
coherenceword problemadjointclubcompact closed categoryclosed categoryfinitely-generated projective modules over a commutative ringsmall projectives
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (only showing first 100 items - show all)
State-sum invariants of 3-manifolds associated to Artinian semisimple tortile categories ⋮ Feedback, trace and fixed-point semantics ⋮ Coherence in SMCCs and equivalences on derivations in IMML with unit ⋮ \(*\)-autonomous categories of bimodules ⋮ Unnamed Item ⋮ Tangles and Hopf algebras in braided categories ⋮ Interacting Hopf algebras ⋮ Bialgebras in Rel ⋮ Cartesian bicategories. I ⋮ A quantum double construction in Rel ⋮ Pictures of complete positivity in arbitrary dimension ⋮ Causal categories: relativistically interacting processes ⋮ Coherence for categories with group structure: An alternative approach ⋮ Symmetry, compact closure and dagger compactness for categories of convex operational models ⋮ Frobenius structures over Hilbert \(C^*\)-modules ⋮ Linear Läuchli semantics ⋮ An explicit formula for the free exponential modality of linear logic ⋮ Frobenius algebra with relaxed associativity constraint ⋮ Shadows and traces in bicategories ⋮ Picturing classical and quantum Bayesian inference ⋮ Monoidal computer. I: Basic computability by string diagrams ⋮ Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus ⋮ Lie algebras in symmetric monoidal categories ⋮ A compositional approach to quantum functions ⋮ Quantum groups and representations of monoidal categories ⋮ String diagrams for traced and compact categories are oriented 1-cobordisms ⋮ Uniqueness of Composition in Quantum Theory and Linguistics ⋮ Executions in (Semi-)Integer Petri Nets are Compact Closed Categories ⋮ Symmetric Monoidal Structure with Local Character is a Property ⋮ Traces in symmetric monoidal categories ⋮ Examples of non-monadic structures on categories ⋮ Simple free star-autonomous categories and full coherence ⋮ Glueing and orthogonality for models of linear logic ⋮ Calculating Colimits Compositionally ⋮ Center and trace ⋮ Coherence for closed categories with biproducts ⋮ On Hopf adjunctions, Hopf monads and Frobenius-type properties ⋮ Resource modalities in tensor logic ⋮ Attribute Grammars and Categorical Semantics ⋮ Probabilistic systems coalgebraically: a survey ⋮ Kohaerenz in Kategorien mit Gruppenstruktur ⋮ Coherence for invertible objects and multigraded homotopy rings ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A specification structure for deadlock-freedom of synchronous processes ⋮ The Morita theory of quantum graph isomorphisms ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ The geometry of tensor calculus. I ⋮ Topological-like features in diagrammatical quantum circuits ⋮ Finite products are biproducts in a compact closed category ⋮ Can a Quantum Computer Run the von Neumann Architecture? ⋮ Coherence theorems via knot theory ⋮ A string diagrammatic axiomatisation of finite-state automata ⋮ (Braided) tensor structures on homotopy groupoids and nerves of (Braided) categorical groups1 ⋮ Graphical combinatorics and a distributive law for modular operads ⋮ Some reasons for generalising domain theory ⋮ Linear logic, coherence and dinaturality ⋮ Quantum circuit oracles for abstract machine computations ⋮ Graph States and the Necessity of Euler Decomposition ⋮ Hypergraph categories ⋮ Musings around the geometry of interaction, and coherence ⋮ Probabilities, distribution monads, and convex categories ⋮ Even more spectra: tensor triangular comparison maps via graded commutative 2-rings ⋮ Clifford and Graßmann Hopf algebras via the BIGEBRA package for Maple ⋮ A Category of Pseudo-tangles with Classifying Space Ω∞S∞and Applications ⋮ On natural transformations of distinguished functors and their superpositions in certain closed categories ⋮ A new duality theory for compact groups ⋮ Sentence entailment in compositional distributional semantics ⋮ Composing dinatural transformations: towards a calculus of substitution ⋮ Invariant tensors and the cyclic sieving phenomenon ⋮ A link between quantum logic and categorical quantum mechanics ⋮ The chromatic Brauer category and its linear representations ⋮ An Algebraic Account of References in Game Semantics ⋮ A categorical framework for the quantum harmonic oscillator ⋮ Augmented quasigroups and character algebras ⋮ On traced monoidal closed categories ⋮ Exploring a Quantum Theory with Graph Rewriting and Computer Algebra ⋮ Invariants of piecewise-linear 3-manifolds ⋮ Natural transformations of the superpositions of distinguished functors in certain closed categories ⋮ Matrices, relations, and group representations ⋮ Phase Groups and the Origin of Non-locality for Qubits ⋮ Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories ⋮ Graphical Calculus for Quantum Key Distribution (Extended Abstract) ⋮ An Algebra of Automata That Includes Both Classical and Quantum Entities ⋮ Category theoretic representations of knotted graphs in \(S^ 3\) ⋮ Braided compact closed categories with applications to low dimensional topology ⋮ An Australian Conspectus of Higher Categories ⋮ A categorical framework for typing CCS-style process communication ⋮ Spherical categories ⋮ Linguistic matrix theory ⋮ Graphical reasoning in compact closed categories for quantum computation ⋮ Completeness of †-categories and the complex numbers ⋮ A Picard-Brauer exact sequence of categorical groups ⋮ Conformal Field Theory as a Nuclear Functor ⋮ De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure ⋮ Dagger Compact Closed Categories and Completely Positive Maps ⋮ POVMs and Naimark's Theorem Without Sums ⋮ Tortile tensor categories ⋮ Directed Homotopy in Non-Positively Curved Spaces
Cites Work
This page was built for publication: Coherence for compact closed categories
