Pages that link to "Item:Q3000922"
From MaRDI portal
The following pages link to A Survey of Graphical Languages for Monoidal Categories (Q3000922):
Displaying 50 items.
- Bicategorical semantics for nondeterministic computation (Q265831) (← links)
- Interacting Hopf algebras (Q308156) (← links)
- Bridging the gap between general probabilistic theories and the device-independent framework for nonlocality and contextuality (Q320197) (← links)
- Pictures of complete positivity in arbitrary dimension (Q320199) (← links)
- A mathematical theory of resources (Q320201) (← links)
- Causal categories: relativistically interacting processes (Q352872) (← links)
- Shadows and traces in bicategories (Q382402) (← links)
- Traces in symmetric monoidal categories (Q404679) (← links)
- On representation categories of wreath products in non-integral rank (Q436164) (← links)
- Blob homology (Q441123) (← links)
- A graphical foundation for interleaving in game semantics (Q479313) (← links)
- Join inverse categories and reversible recursion (Q511931) (← links)
- Categories of quantum and classical channels (Q513861) (← links)
- On the geometry and algebra of networks with state (Q517043) (← links)
- Perverse sheaves and knot contact homology (Q524848) (← links)
- Languages for monoidal categories (Q584380) (← links)
- The path relation for directed planar graphs in rectangles, and its relation to the free diad (Q626863) (← links)
- The calculus of signal flow diagrams. I: Linear relations on streams. (Q729807) (← links)
- Deligne categories in lattice models and quantum field theory, \textit{or} making sense of O(N) symmetry with non-integer N (Q780789) (← links)
- High-level modelling for typed functional programming (Q832100) (← links)
- Dichromatic state sum models for four-manifolds from pivotal functors (Q1650146) (← links)
- Frobenius structures over Hilbert \(C^*\)-modules (Q1664329) (← links)
- Recoupling coefficients and quantum entropies (Q1702554) (← links)
- Towards a unified framework for decomposability of processes (Q1708904) (← links)
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413) (← links)
- The Morita theory of quantum graph isomorphisms (Q1720201) (← links)
- Presentations of categories of modules using the Cautis-Kamnitzer-Morrison principle (Q1737952) (← links)
- A predicate/state transformer semantics for Bayesian learning (Q1744386) (← links)
- The algebra of partial equivalence relations (Q1744396) (← links)
- Partially traced categories (Q1940191) (← links)
- Relative Frobenius algebras are groupoids (Q1946087) (← links)
- The symmetric tensor product on the Drinfeld centre of a symmetric fusion category (Q1985768) (← links)
- Composing dinatural transformations: towards a calculus of substitution (Q2031559) (← links)
- The simplicial model of univalent foundations (after Voevodsky) (Q2031691) (← links)
- Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
- Computing fusion rules for spherical \(G\)-extensions of fusion categories (Q2065450) (← links)
- Unitary transformations of fibre functors (Q2078404) (← links)
- A categorical foundation for structured reversible flowchart languages (Q2130590) (← links)
- Condition/decision duality and the internal logic of extensive restriction categories (Q2133172) (← links)
- Partial traces on additive categories (Q2134829) (← links)
- From reversible programming languages to reversible metalanguages (Q2139051) (← links)
- Tensor topology (Q2176086) (← links)
- A finite-tame-wild trichotomy theorem for tensor diagrams (Q2189491) (← links)
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics (Q2189508) (← links)
- Contextual equivalence for signal flow graphs (Q2200814) (← links)
- Coherence for closed categories with biproducts (Q2200954) (← links)
- A string diagrammatic axiomatisation of finite-state automata (Q2233427) (← links)
- The structure of sum-over-paths, its consequences, and completeness for Clifford (Q2233432) (← links)
- Modified traces for quasi-Hopf algebras (Q2286339) (← links)
- Differential categories revisited (Q2307523) (← links)
