Related papers: Variable binding, symmetric monoidal closed theori…
The category of flows is not cartesian closed. We construct a closed symmetric monoidal structure which has moreover a satisfactory behavior from the computer scientific viewpoint.
In this work are consider several topics in the Topological Membrane (TM) approach to string theory. The string dynamics is generated from the bulk physics, namely from the 3D Topologically Massive Gauge Theory (TMGT) and Topologically…
We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that…
Most of the existing methods for bilingual word embedding only consider shallow context or simple co-occurrence information. In this paper, we propose a latent bilingual sense unit (Bilingual Sense Clique, BSC), which is derived from a…
The category Set_* of sets and partial functions is well-known to be traced monoidal, meaning that a partial function S+U -/-> T+U can be coherently transformed into a partial function S -/-> T. This transformation is generally described in…
This paper gives insight into intriguing connections between two apparently unrelated theories: the theory of skein modules of 3-manifolds and the theory of representations of groups into special linear groups of 2 by 2 matrices. Let R be a…
We present the notion of "cyclic double multicategory", as a structure in which to organise multivariable adjunctions and mates. The classic example of a 2-variable adjunction is the hom/tensor/cotensor trio of functors; we generalise this…
Let M be a closed, oriented, n-dimensional manifold. In this paper we give a Morse theoretic description of the string topology operations introduced by Chas and Sullivan, and extended by the first author, Jones, Godin, and others. We do…
The text contains introduction and preliminary definitions and results to my talk on category theory description of supersymmetries and integrability in string theory. In the talk I plan to present homological and homotopical algebra…
Linguistic similarity is multi-faceted. For instance, two words may be similar with respect to semantics, syntax, or morphology inter alia. Continuous word-embeddings have been shown to capture most of these shades of similarity to some…
In the framework of simplicial models, we construct and we fully characterize a scalar boundary conformal field theory on a triangulated Riemann surface. The results are analysed from a string theory perspective as tools to deal with…
Let $\Lambda^{\ast}$ be the free monoid of (finite) words over a not necessarily finite alphabet $\Lambda$, which is equipped with some (partial) order. This ordering lifts to $\Lambda^{\ast}$, where it extends the divisibility ordering of…
In previous work we proved that, for categories of free finite-dimensional modules over a commutative semiring, linear compact-closed symmetric monoidal structure is a property, rather than a structure. That is, if there is such a…
Following recent proposal of Dijkgraaf, Verlinde and Verlinde, we show that the M(atrix) theory compactified on $S_1/Z_2$ provides with a non-perturbative description of second-quantized light-cone heterotic string. This so-called heterotic…
We continue the development of the topological membrane approach to open and unoriented string theories. We study orbifolds of topologically massive gauge theory defined on the geometry $[0,1]\times\Sigma$, where $\Sigma$ is a generic…
We propose a graphical language that accommodates two monoidal structures: a multiplicative one for pairing and an additional one for branching. In this colored PROP, whether wires in parallel are linked through the multiplicative structure…
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…
We develop a new method of interpreting large cardinal axioms as giving rise to topological symmetries of the universe of sets, similar to the construction of Fraenkel-Mostowski-Specker models. This allows us to define a "symmetric" inner…
This dissertation consists of a comprehensive and pedagogical review of Maldacena's original derivation of the AdS/CFT correspondence and the main topics of string theory necessary to understand it. The large $N$ expansion of Yang-Mills…
We introduce regular languages of morphisms in free monoidal categories, with their associated grammars and automata. These subsume the classical theory of regular languages of words and trees, but also open up a much wider class of…