Pages that link to "Item:Q1146248"

The following pages link to Coherence for compact closed categories (Q1146248):

Displaying 50 items.

• A specification structure for deadlock-freedom of synchronous processes (Q1960536) (← links)
• Hypergraph categories (Q2001422) (← links)
• Even more spectra: tensor triangular comparison maps via graded commutative 2-rings (Q2015824) (← links)
• Composing dinatural transformations: towards a calculus of substitution (Q2031559) (← links)
• The chromatic Brauer category and its linear representations (Q2040890) (← links)
• Coherence for closed categories with biproducts (Q2200954) (← links)
• A string diagrammatic axiomatisation of finite-state automata (Q2233427) (← links)
• Graphical combinatorics and a distributive law for modular operads (Q2237392) (← links)
• Augmented quasigroups and character algebras (Q2295465) (← links)
• Linguistic matrix theory (Q2327722) (← links)
• Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
• Coherence for invertible objects and multigraded homotopy rings (Q2441268) (← links)
• Finite products are biproducts in a compact closed category (Q2457284) (← links)
• (Q2709567) (← links)
• An Algebraic Account of References in Game Semantics (Q2805167) (← links)
• Phase Groups and the Origin of Non-locality for Qubits (Q2825362) (← links)
• Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories (Q2825368) (← links)
• Graphical Calculus for Quantum Key Distribution (Extended Abstract) (Q2825376) (← links)
• An Algebra of Automata That Includes Both Classical and Quantum Entities (Q2825378) (← links)
• A categorical framework for typing CCS-style process communication (Q2841310) (← links)
• Completeness of †-categories and the complex numbers (Q2849726) (← links)
• Conformal Field Theory as a Nuclear Functor (Q2864148) (← links)
• De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure (Q2864168) (← links)
• Dagger Compact Closed Categories and Completely Positive Maps (Q2864173) (← links)
• POVMs and Naimark's Theorem Without Sums (Q2870203) (← links)
• A quantum double construction in Rel (Q2909732) (← links)
• Can a Quantum Computer Run the von Neumann Architecture? (Q3000932) (← links)
• Bialgebras in Rel (Q3178263) (← links)
• Directed Homotopy in Non-Positively Curved Spaces (Q3300792) (← links)
• (Q3384936) (← links)
• Uniqueness of Composition in Quantum Theory and Linguistics (Q3384943) (← links)
• (Q3384955) (← links)
• Executions in (Semi-)Integer Petri Nets are Compact Closed Categories (Q3385632) (← links)
• Symmetric Monoidal Structure with Local Character is a Property (Q3385635) (← links)
• An Australian Conspectus of Higher Categories (Q3400014) (← links)
• Quantum groups and representations of monoidal categories (Q3497236) (← links)
• Calculating Colimits Compositionally (Q3507390) (← links)
• Attribute Grammars and Categorical Semantics (Q3519507) (← links)
• Some reasons for generalising domain theory (Q3559971) (← links)
• Graph States and the Necessity of Euler Decomposition (Q3576049) (← links)
• On traced monoidal closed categories (Q3625674) (← links)
• Exploring a Quantum Theory with Graph Rewriting and Computer Algebra (Q3637271) (← links)
• (Q4209397) (← links)
• (Braided) tensor structures on homotopy groupoids and nerves of (Braided) categorical groups¹ (Q4369993) (← links)
• A Category of Pseudo-tangles with Classifying Space Ω^∞<i>S</i>^∞and Applications (Q4414316) (← links)
• An explicit formula for the free exponential modality of linear logic (Q4577986) (← links)
• Frobenius algebra with relaxed associativity constraint (Q4579855) (← links)
• A compositional approach to quantum functions (Q4586484) (← links)
• Invariants of piecewise-linear 3-manifolds (Q4717108) (← links)
• Feedback, trace and fixed-point semantics (Q4787833) (← links)