Related papers: Gray categories with duals and their diagrams
A popular graphical calculus for monoidal categories makes computations tactile and intuitive. Complicated diagram chases can be expressed in a few pictures and discovered by playing with a shoelace. Joyal and Street's proof of the…
We develop a geometric approach toward an interplay between a pair of quantum Schur algebras of arbitrary finite type. Then by Beilinson-Lusztig-MacPherson's stabilization procedure in the setting of partial flag varieties of type A (resp.…
Trilinear mappings appear naturally when performing spatial isogeometric discretizations of degree $p = 1$. Among them, birational maps are characterized by the property that both the mapping and the associated inverse map are rational and…
We define bicategories internal to 2-categories. When the ambient 2-category is symmetric monoidal categories, this provides a convenient framework for encoding the structures of a symmetric monoidal 3-category. This framework is well…
We show how classical and quantum dualities, as well as duality relations that appear only in a sector of certain theories ("emergent dualities"), can be unveiled, and systematically established. Our method relies on the use of morphisms of…
We consider theories with one gauge group (SU, SO or Sp) and one scalar in a two-index representation. The renormalizable action often has accidental symmetries (such as global U(1) or unusual group parities) that lead to one or more stable…
Geometric modeling by constraints, whose applications are of interest to communities from various fields such as mechanical engineering, computer aided design, symbolic computation or molecular chemistry, is now integrated into standard…
Second-order superintegrable systems in dimensions two and three are essentially classified. With increasing dimension, however, the non-linear partial differential equations employed in current methods become unmanageable. Here we propose…
We advocate an account of dualities between physical theories: the basic idea is that dual theories are isomorphic representations of a common core. We defend and illustrate this account, which we call a Schema, in relation to symmetries.…
The family of visibility algorithms were recently introduced as mappings between time series and graphs. Here we extend this method to characterize spatially extended data structures by mapping scalar fields of arbitrary dimension into…
We develop a novel approach to gravity that we call `matrix general relativity' (MGR) or `gravitational chromodynamics' (GCD or GQCD for quantum version). Gravity is described in this approach not by one Riemannian metric (i.e. a symmetric…
Graphity models are characterized by configuration spaces in which states correspond to graphs and Hamiltonians that depend on local properties of graphs such as the degrees of vertices and numbers of short cycles. As statistical systems,…
Partial duality generalizes the fundamental concept of the geometric dual of an embedded graph. A partial dual is obtained by forming the geometric dual with respect to only a subset of edges. While geometric duality preserves the genus of…
We introduce an axiomatic theory of spherical diagrams as a tool to study certain combinatorial properties of polyhedra in $\mathbb R^3$, which are of central interest in the context of Art Gallery problems for polyhedra and other…
To any trivalent plane graph embedded in the sphere, Casals and Murphy associate a differential graded algebra (dg-algebra), in which the underlying graded algebra is free associative over a commutative ring. Our first result is the…
We propose a new notion of `n-category with duals', which we call a Whitney n-category. There are two motivations. The first is that Baez and Dolan's Tangle Hypothesis is (almost) tautological when interpreted as a statement about Whitney…
The generic singularities and bifurcations are classified for one-parameter families of curves with frames in a space form, the Euclidean space, the elliptic space or the hyperbolic space via projective geometry. Two kinds of frames are…
One describes those double structures on rational normal curves which are defined scheme theoretically by quadratic equations and have linear syzygies, generalizing this way the double line in the plane
A double category of relations is essentially a cartesian equipment with strong, discrete and functorial tabulators and for which certain local products satisfy a Frobenius Law. A double category of relations is equivalent to a double…
Under a general categorical procedure for the extension of dual equivalences as presented in this paper's predecessor, a new algebraically defined category is established that is dually equivalent to the category $\bf LKHaus$ of locally…