References for String diagram

Back to article

References to other articles, organized by section

2-categories
Applied category theory
Categorical quantum mechanics
Linear map
Monoidal categories
Morphisms
Penrose graphical notation
Tensor network
Tensor product
Vector spaces

History

André Joyal
Begriffsschrift
Binary relation
Cartesian product
Charles Sanders Peirce
Completeness (logic)
Deduction system
Diagrammatic reasoning
Electronic circuit
Existential graph
Feynman diagram
Finite sets
First-order logic
Free strict monoidal category
Frobenius algebra
Gottlob Frege
Günter Hotz
LaTeX
Negation
PGF/TikZ
Roger Penrose
Ross Street
Soundness

Intuition

Function composition
Identity morphism
Monoidal category
Process
System

Algebraic

Adjoint functors
Forgetful functor
Free functor
Free monoid
Free strict monoidal category
Kleene star
Monoidal functor

Geometric

Cell complex
Closed subset
Connected component (topology)
Continuous map
Discrete subset
Hausdorff space
Planar graph
Topological graph

Combinatorial

Category theory
Computational problems
Computer algebra systems
Confluence (abstract rewriting)
Congruence relation
Directed multigraph
Eckmann–Hilton argument
Low-dimensional topology
Polynomial time
Quiver (mathematics)
Rewriting system
Word problem (mathematics)

Extension to 2-categories

Poincaré duality

The snake equation

Adjoint functors
Bell measurement
Bell state
Categorical quantum mechanics
DisCoCat
Entangled state
File:Teleport.png
Hilbert space
Information flow
Natural language semantics
Natural transformation
Postselection
Pregroup grammar
Quantum natural language processing
Quantum teleportation
Qubits
Rigid category

Hierarchy of graphical languages

Braid group
Braided monoidal categories
Compact closed category
Dagger categories
Knot theory
Penrose graphical notation
Symmetric group
Symmetric monoidal category

List of applications

Artificial neural networks
Bayesian probability
Bidirectional transformation
Categorical quantum mechanics
Concurrency theory
Conjunctive query
Consciousness
DisCoCat
Game theory
Markov kernel
Measurement-based quantum computing
Natural language processing
Quantum circuit
Quantum error correction
Quantum natural language processing
Signal-flow graph
ZX-calculus

Source on Wikipedia (https://en.wikipedia.org)

--

Gemipedia Home
Go to Article
Using English Wikipedia. Change Language?

--
Size: 6.98 KB. 96.86% smaller than original: 222.2 KB 🤮
Fetched: 18 ms. Converted: 456 ms. 🐇

Made with 📚 and ❤️ by Acidus (mailto://)

All Wikipedia content is licensed under CC BY-SA 3.0