Pages that link to "Item:Q1146248"
From MaRDI portal
The following pages link to Coherence for compact closed categories (Q1146248):
Displaying 43 items.
- Traced monoidal categories (Q4877674) (← links)
- Hopf algebras and linear logic (Q4882498) (← links)
- (Q4888142) (← links)
- The monoidal structure of Turing machines (Q4917187) (← links)
- Compositional Quantum Logic (Q4922071) (← links)
- A diagrammatic axiomatisation of fermionic quantum circuits (Q4993345) (← links)
- A practical type theory for symmetric monoidal categories (Q5006460) (← links)
- The Mathematics of Text Structure (Q5014597) (← links)
- (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras (Q5014788) (← links)
- A Graph Theoretic Perspective on CPM(Rel) (Q5015204) (← links)
- (Q5018489) (← links)
- (Q5019688) (← links)
- (Q5020635) (← links)
- (Q5025075) (← links)
- Double categories of relations (Q5048019) (← links)
- Quantum determinants in ribbon category (Q5053428) (← links)
- (Q5079757) (← links)
- (Q5089188) (← links)
- Refinement for signal flow graphs (Q5111638) (← links)
- Interacting quantum observables: categorical algebra and diagrammatics (Q5135836) (← links)
- Logic and Geometry of Agents in Agent-Based Modeling (Q5150306) (← links)
- (Q5232908) (← links)
- Quotient Categories and Phases (Q5233735) (← links)
- Weak units, universal cells, and coherence via universality for bicategories (Q5239844) (← links)
- Théorie de Schreier supérieure (Q5285839) (← links)
- A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras (Q5377698) (← links)
- Abstract Tensor Systems as Monoidal Categories (Q5414967) (← links)
- Bases in Diagrammatic Quantum Protocols (Q5415635) (← links)
- Semimodule Enrichment (Q5415638) (← links)
- On categorical models of classical logic and the Geometry of Interaction (Q5430139) (← links)
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
- Holomorphic models of exponential types in linear logic (Q5890062) (← links)
- Group symmetry in tensor categories and duality for orbifolds (Q5957265) (← links)
- Reversible monadic computing (Q5971401) (← links)
- A Category of Surface-Embedded Graphs (Q6150141) (← links)
- Pre-rigid monoidal categories (Q6170146) (← links)
- Specification structures and propositions-as-types for concurrency (Q6560388) (← links)
- Gray categories with duals and their diagrams (Q6562850) (← links)
- The game semantics of game theory (Q6612787) (← links)
- On strictifying extensional reflexivity in compact closed categories (Q6612801) (← links)
- Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers (Q6612803) (← links)
- A graphical language for quantum protocols based on the category of cobordisms (Q6642017) (← links)
- Multinomial and hypergeometric distributions in Markov categories (Q6653751) (← links)
