Related papers: An Introduction to String Diagrams for Computer Sc…
The aim of these notes is to give recent developments in string theory. In particular, we discuss the string spectrums, compactifications, brane physics and dualities.
The new approach to representation of syntax of formal languages-- a formalism of syntax diagrams is offered. Syntax diagrams look a convenient language for the description of syntactic relations in the languages having nonlinear…
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. Dixon, Duncan and Kissinger introduced string graphs, which are a combinatoric…
Expanded lecture notes. Preliminary version, comments are welcome.
This is an invited contribution to the Special Issue of "Foundations of Physics" titled "Forty Years Of String Theory: Reflecting On the Foundations". I have been asked to assess string theory as an outsider, and to compare it with the…
Sequence diagrams are a popular technique for describing interactions between software entities. However, because the OMG group's UML standard is not based on a rigorous mathematical structure, it is impossible to deduce a single…
A visual programming language uses pictorial tools such as diagrams to represent its structural units and control stream. It is useful for enhancing understanding, maintenance, verification, testing, and parallelism. This paper proposes a…
String diagrams provide a convenient graphical framework which may be used for equational reasoning about morphisms of monoidal categories. However, unlike term rewriting, rewriting string diagrams results in shorter equational proofs,…
This Resource Letter provides a guide to some of the the introductory and review literature in string theory. It is in no way complete, though it is intended to be of use to students at several levels. Owing to the nature of the subject,…
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of these diagrams is that edges need not be connected to…
We present a new model of computation, described in terms of monoidal categories. It conforms the Church-Turing Thesis, and captures the same computable functions as the standard models. It provides a succinct categorical interface to most…
The string-matching field has grown at a such complicated stage that various issues come into play when studying it: data structure and algorithmic design, database principles, compression techniques, architectural features, cache and…
Graph theory provides a language for studying the structure of relations, and it is often used to study interactions over time too. However, it poorly captures the both temporal and structural nature of interactions, that calls for a…
We propose a categorical framework to reason about scientific explanations: descriptions of a phenomenon meant to translate it into simpler terms, or into a context that has been already understood. Our motivating examples come from systems…
This talk considers possible lessons of string theory for low energy physics. These are of two types. First, assuming that string theory is the correct underlying theory of all interactions, we ask whether there are any generic predictions…
In these lectures we give a brief introduction to perturbative and non-perturbative string theory. The outline is the following: 1. Introduction to perturbative string theory 1.1 From point particle to extended objects 1.2 Free closed and…
These four lectures, addressed to an audience of graduate students in experimental high energy physics, survey some of the basic concepts in string theory. The purpose is to convey a general sense of what string theory is and what it has…
We introduce nominal string diagrams as, string diagrams internal in the category of nominal sets. This requires us to take nominal sets as a monoidal category, not with the cartesian product, but with the separated product. To this end, we…
A low energy string theory should reduce to an ordinary quantum field theory, but in reality the structures of the two are so different as to make the equivalence obscure. The string formalism is more symmetrical between the spacetime and…
The study of abstraction and composition - the focus of category theory - naturally leads to sophisticated diagrams which can encode complex algebraic semantics. Consequently, these diagrams facilitate a clearer visual comprehension of…