String Diagrams

By

 


AI


String diagrams are a visual, graphical language used to represent mathematical and logical processes. They replace complex equations with intuitive shapes and lines. In these diagrams, wires represent systems or values, while boxes (or nodes) represent operations, rules, or interactions. [1, 2, 3, 4, 5]
For a visual breakdown of how objects and arrows translate into this graphical language:
Related video thumbnail
4m
Category Theory III 2.1: String Diagrams part 1


Bartosz Milewski
YouTube• Jul 27, 2018
How They Work
String diagrams translate algebraic equations into a system of "cables" and "plugs." Instead of writing out complex formulas, you can rearrange, connect, and simplify the diagrams like pieces of a puzzle.

  • Wires (Strings): Represent objects, data types, or quantum states. Moving left to right (or bottom to top) shows the flow of time or information.
  • Boxes (Coupons): Represent processes or functions. Wires plug into the boxes to act as inputs, and emerge from the other side as outputs.
  • Connection: Joining wires together means you are composing two operations (plugging the output of one directly into the input of another).
  • Placing Side-by-Side: Placing two boxes horizontally next to each other represents combining them into a parallel system (often using a mathematical "tensor product"). [1, 2, 3, 4, 5]
To understand the basic rules of vertical and horizontal composition:
Related video thumbnail
1m
What are…string diagrams, take 2?


VisualMath
YouTube• Mar 5, 2022
Why Are They Useful?
String diagrams are much more than just pretty drawings; they provide an extremely rigorous tool for scientific reasoning. [1]
  • Visualizing Symmetries: They make complex algebraic symmetries (like turning a process inside out or creating loops) immediately obvious to the eye.
  • Proof by Picture: By simply moving wires around on a page, you can prove complex mathematical theorems without doing hours of manual algebraic calculation. [1, 2]
Where Are They Used?
String diagrams have revolutionized multiple fields of science, most notably:
  • Category Theory: The abstract mathematics of how different mathematical structures relate to one another.
  • Quantum Computing & Physics: They are used heavily in categorical quantum mechanics to model qubits, particle interactions, and quantum entanglement without messy matrix notation.
  • Computer Science: They help represent data flow, programming logic, and concurrency.
  • Tensor Networks: In condensed matter physics and machine learning, they map how high-dimensional arrays interact. [1, 2, 3, 4]
For a look into how Penrose notation and string diagrams are used in physics:
Related video thumbnail
55:48
ACT 2020 Tutorial: Introduction to string diagrams (Fabrizio ...


Applied Category Theory
YouTube• Jul 5, 2020
AI responses may include mistakes.


Comments

Post a Comment

Popular posts from this blog

Computing and the Linguistic Turn

By
Image
Enigma (Wikipedia) Symbolic analysis and statistical analysis were both approaches codebreakers took in breaking Enigma. The development of AI has also incorporated both approaches. One historical question for AI is why the dominance of Symbolic AI, associated here with the linguistic turn, from 1950 to 1990? Note the development of AI out of the Dartmouth Workshop and especially the contributions of one of its attendees,  Ray Solomonoff , to the statistical approach, an approach taken up by Marcus Hutter , a DeepMind  researcher, and of course, others. Note that a history of AI outside the linguistic turn from Moritz Hardt and Ben Recht is in Patterns, Predictions, and Actions . And note too that along with the difference between the symbolic and the statistical is the difference between language learning and computer vision, which tends to be a history outside the linguistic turn. And the turn Richard Sutton takes is to push learning outside the context of language, which ...
Read more

A Heidegger - Bayes Hybrid Model

By
Image
A Conjecture for a Hybrid Model Bayesian epistemology concerns modelling and specifically, belief, but a Bayesian belief does not need to be fully formed to emerge alongside the Heideggerian to-hand. The Heideggerian to-hand thereby becomes the interaction that generates this further, which is, with this interaction, a certain realization of being in the world. Bayesian selection now concerns available beliefs as well as any to-hand [belief(s)]. How Heidegger Can Make You a Better Guitarist Bayesian Philosophy Bayesian Philosophy Bayesian Epistemology Bayesian Epistemology Bayesian Modelling Bayesian Modelling Bayesian Model Selection David Deutsch on Bayesian Epistemology Bayesian Philosophy of Science Bayesian Philosophy of Science A Bayesian Approach to the Philosophy of Science On Sean Carroll on an Application of Bayes The Heideggerian To-Hand On Heidegger On Heidegger Flipping Descartes Ready-to-Hand and Present-at-Hand Presence-at-Hand Ready-to-Hand and Unready-to-Hand Does Hei...
Read more

A Question Regarding Number as the Assumed Basis of Mathematics

By
Conjecture: The historical analysis of the development of mathematics tends to lean on artifacts such as tally sticks and etch marks. Here, commerce serves as the basis of mathematics, and thereby, mathematics is grounded in the ability to count, which is implicitly understood to be the basis of commerce (fair exchange).  Development of Mathematics Question: What if distance becomes the basis of mathematics? How does this concept ground mathematics? Rather than assert that mathematics starts with counting, we assert instead that mathematics begins with the realization of distance? Do we then realize that number becomes a shorthand for distance in the abstract? Number Number ... Distance
Read more