Related papers: Higher dimensional operads
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…
We introduce a higher dimensional quasiregular map analogous to the trigonometric functions and we use the dynamics of this map to define, for d>1, a partition of d-dimensional Euclidean space into curves tending to infinity such that two…
A mechanism deriving new well-posed evolutionary equations from given ones is inspected. It turns out that there is one particular spatial operator from which many of the standard evolutionary problems of mathematical physics can be…
We define a higher-order generalisation of the CPM construction based on arbitrary finite abelian group symmetries of symmetric monoidal categories. We show that our new construction is functorial, and that its closure under iteration can…
Higher dimensional generalisations of self-duality conditions and of theta angle terms are analysed in Yang-Mills theories. For the theory on a torus, the torus metric and various antisymmetric tensors are viewed as coupling constants…
We present a general construction of the derived category of an algebra over an operad and establish its invariance properties. A central role is played by the enveloping operad of an algebra over an operad.
We extend the definition of an orbit portrait to the context of non-autonomous iteration, both for the combinatorial version involving collections of angles and for the dynamic version involving external rays where combinatorial portraits…
Concepts and techniques from the theory of G-structures of higher order are applied to the study of certain structures (volume forms, conformal structures, linear connections and projective structures) defined on a pseudo-Riemanniann…
Starting with a choice of a gauge group in four dimensions, there is often freedom in the choice of magnetic and dyonic line operators. Different consistent choices of these operators correspond to distinct physical theories, with the same…
We show that a certain class of categorical operads give rise to $E_n$-operads after geometric realization. The main arguments are purely combinatorial and avoid the technical topological assumptions otherwise found in the literature.
Algebraic effects & handlers are a modular approach for modeling side-effects in functional programming. Their syntax is defined in terms of a signature of effectful operations, encoded as a functor, that are plugged into the free monad;…
We give a definition of weak n-categories based on the theory of operads. We work with operads having an arbitrary set S of types, or `S-operads', and given such an operad O, we denote its set of operations by elt(O). Then for any S-operad…
An algebraic deformation theory of module-algebras over a bialgebra is constructed. The cases of module-coalgebras, comodule-algebras, and comodule-coalgebras are also considered.
This current article aims to study a new subclass of meromorphic functions with positive coefficients by reconstructing a new operator in the punctured open disc. Also, some geometric properties are considered and investigated, such results…
We use computational linear algebra and commutative algebra to study spaces of relations satisfied by quadrilinear operations. The relations are analogues of associativity in the sense that they are quadratic (every term involves two…
Motivated by the apparent lack of a workable hypothesis we developed a model to describe phenomena such as entanglement and the EPR-paradox. In the model we propose the existence of extra hidden dimensions. Through these dimensions it will…
We unravel the algebraic structure which controls the various ways of computing the word ((xy)(zt)) and its siblings. We show that it gives rise to a new type of operads, that we call permutads. It turns out that this notion is equivalent…
In spacetime dimensions of 4 (i.e., 3+1) and higher, topological orders exhibit spatially extended excitations like loops and membranes, which support diverse topological data characterizing braiding, fusion, and shrinking processes,…
We study the phenomena that arise when we combine the standard pseudodifferential operators with those operators that appear in the study of some sub-elliptic estimates, and on strongly pseudoconvex domains. The algebra of operators we…
Starting from a biased definition of a properad, we describe explicitly algebras over the cobar construction of a properad. Equivalent description in terms of solutions of generalized master equations, which can be interpreted as…