Related papers: Morphisms between categorified spin networks
In this paper we introduce a description of ordered groupoids as a particular type of double categories. This enables us to turn Lawson's correspondence between ordered groupoids and left-cancellative categories into a biequivalence. We use…
Long before the invention of Feynman diagrams, engineers were using similar diagrams to reason about electrical circuits and more general networks containing mechanical, hydraulic, thermodynamic and chemical components. We can formalize…
We use the framework of "props" to study electrical circuits, signal-flow diagrams, and bond graphs. A prop is a strict symmetric monoidal category where the objects are natural numbers, with the tensor product of objects given by addition.…
Modular structure is pervasive in many complex networks of interactions observed in natural, social and technological sciences. Its study sheds light on the relation between the structure and function of complex systems. Generally speaking,…
Geometric morphisms between realizability toposes are studied in terms of morphisms between partial combinatory algebras (pcas). The morphisms inducing geometric morphisms (the {\em computationally dense\/} ones) are seen to be the ones…
Expansion of the categorical point of view on many areas of the mathematics and mathematical physics will cause to deeper understanding of genuine features of these problems. New applications of categorical methods are connected with new…
A growing body of research on probabilistic programs and causal models has highlighted the need to reason compositionally about model classes that extend directed graphical models. Both probabilistic programs and causal models define a…
We give criteria for certain morphisms from an algebraic stack to a (not necessarily algebraic) stack to admit an (appropriately defined) scheme-theoretic image. We apply our criteria to show that certain natural moduli stacks of local…
The continuing neuroscience advances, catalysed by multidisciplinary collaborations between the biological, computational, physical and chemical areas, have implied in increasingly more complex approaches to understand and model the mammals…
We give a new method for calculating the cohomology of the normal bundles over rational varieties which are smooth projections of Veronese embeddings. The method can be used also when the projections are not smooth, in this case it provides…
We study the interplay between the classical theory of linear series on curves, and the recent theory of linear series on graphs. We prove that every d-gonal (weighted) graph of Hurwitz type is the dual graph of a d-gonal curve. Conversely…
Networks can be combined in various ways, such as overlaying one on top of another or setting two side by side. We introduce "network models" to encode these ways of combining networks. Different network models describe different kinds of…
We extend the graphical calculus developed in the first part of this paper to the parametrising spaces of quantum vertex operators. This involves a graphical implementation of the dynamical twist functor, which is a strict monoidal functor…
We study the symplectic reduction of the phase space of two twistors to the cotangent bundle of the Lorentz group. We provide expressions for the Lorentz generators and group elements in terms of the spinors defining the twistors. We use…
In this paper, we will give a natural definition for morphisms between multiplicative unitaries. We will then discuss some equivalences of this definition and some interesting properties of them. Moreover, we will define normal…
In this paper, we use theory of rough set to study graphs using the concept of orbits. We investigate the indiscernibility partitions and approximations of graphs induced by orbits of graphs. We also study rough membership functions,…
We study the properties of the extended graphical calculus for categorified quantum $sl(n)$. The main results include proofs of Reidemeister 2 and Reidemeister 3-like moves involving strands corresponding to arbitrary thicknesses and…
We study the geometry of the morphism between moduli spaces of hypersurfaces in $\mathbb P^{n-1}$ that sends a smooth hypersurface of degree $d+1$ to its associated hypersurface of degree $n(d-1)$. As a result, we obtain a compactification…
The study of the sub-structure of complex networks is of major importance to relate topology and functionality. Many efforts have been devoted to the analysis of the modular structure of networks using the quality function known as…
We use the Fock space representation of the quantum affine algebra of type $A^{(2)}_{2n}$ to obtain a description of the global crystal basis of its basic level 1 module. We formulate a conjecture relating this basis to decomposition…