Pages that link to "Item:Q3000922"

The following pages link to A Survey of Graphical Languages for Monoidal Categories (Q3000922):

Displaying 50 items.

• Monoidal characterisation of groupoids and connectors (Q2310775) (← links)
• Domain walls in topological phases and the Brauer-Picard ring for \(\mathrm{vec} (\mathbb{Z}/p\mathbb{Z})\) (Q2311924) (← links)
• Proof diagrams for multiplicative linear logic: syntax and semantics (Q2331072) (← links)
• Monoidal categories and topological field theory (Q2360306) (← links)
• Bicommutant categories from fusion categories (Q2362835) (← links)
• The categorified Heisenberg algebra. I: A combinatorial representation. (Q2411671) (← links)
• Drags: a compositional algebraic framework for graph rewriting (Q2422028) (← links)
• A graphical calculus for semi-groupal categories (Q2423828) (← links)
• A categorification of quantum \(\mathfrak{sl}_3\) projectors and the \(\mathfrak{sl}_3\) Reshetikhin-Turaev invariant of tangles (Q2449682) (← links)
• The singular Temperley-Lieb category (Q2511177) (← links)
• Affinization of monoidal categories (Q2660434) (← links)
• The CBH characterisation theorem beyond algebraic quantum theory (Q2672237) (← links)
• Pivotal weak Turaev \(\pi \)-coalgebras (Q2680728) (← links)
• Sheaf representation of monoidal categories (Q2687340) (← links)
• Join Inverse Categories as Models of Reversible Recursion (Q2811333) (← links)
• On higher holonomy invariants in higher gauge theory. II. (Q2816551) (← links)
• Phase groups and the origin of non-locality for qubits (Q2825362) (← links)
• Graphical calculus for quantum key distribution (extended abstract) (Q2825376) (← links)
• Deligne’s category \underline{𝑅𝑒}𝑝(𝐺𝐿_{𝛿}) and representations of general linear supergroups (Q2937168) (← links)
• Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
• Categories for the Practising Physicist (Q3000921) (← links)
• Traces for coalgebraic components (Q3005989) (← links)
• Bialgebras in Rel (Q3178263) (← links)
• A Graphical Foundation for Schedules (Q3178289) (← links)
• Fusion categories via string diagrams (Q3188184) (← links)
• (Q3384925) (← links)
• (Q3384926) (← links)
• (Q3384936) (← links)
• Uniqueness of Composition in Quantum Theory and Linguistics (Q3384943) (← links)
• Categorifying the ZX-calculus (Q3384948) (← links)
• (Q3384950) (← links)
• (Q3384951) (← links)
• Towards Quantum Field Theory in Categorical Quantum Mechanics (Q3384952) (← links)
• (Q3385626) (← links)
• Executions in (Semi-)Integer Petri Nets are Compact Closed Categories (Q3385632) (← links)
• (Q3385638) (← links)
• Exploring a Quantum Theory with Graph Rewriting and Computer Algebra (Q3637271) (← links)
• A Certified Study of a Reversible Programming Language (Q4580228) (← links)
• Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Q4585067) (← links)
• A categorical foundation for structured reversible flowchart languages: Soundness and adequacy (Q4585070) (← links)
• A compositional approach to quantum functions (Q4586484) (← links)
• Integral categories and calculus categories (Q4611199) (← links)
• The transfer map of free loop spaces (Q4645092) (← links)
• A new description of orthogonal bases (Q4925030) (← links)
• (Q4972739) (← links)
• Dualizable tensor categories (Q4995485) (← links)
• A practical type theory for symmetric monoidal categories (Q5006460) (← links)
• Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks (Q5009443) (← links)
• The Mathematics of Text Structure (Q5014597) (← links)
• A Topological Perspective on Interacting Algebraic Theories (Q5014783) (← links)