Related papers: Abstract composition laws and their modulation spa…
Tableaux originate as a decision method for a logical language. They can also be extended to obtain a structure that spells out all the information in a set of sentences in terms of truth value assignments to atomic formulas that appear in…
Reflexive functors of modules naturally appear in Algebraic Geometry, mainly in the theory of linear representations of group schemes, and in "duality theories". In this paper we study and determine reflexive functors and we give many…
The conservation laws for a class of nonlinear equations with variable coefficients on discrete and noncommutative spaces are derived. For discrete models the conserved charges are constructed explicitly. The applications of the general…
In this note, I discuss in some detail the dual version of the ribbon graph decomposition of the moduli spaces of Riemann surfaces with boundary and marked points, which I introduced in math.AG/0402015, and used in math.QA/0412149 to…
Compositionality of denotational semantics is an important concern in programming semantics. Mathematical operational semantics in the sense of Turi and Plotkin guarantees compositionality, but seen from the point of view of stateful…
We study the class of idempotent-generated pseudo-composition algebras, which is a subclass of the family of axial algebras. More specifically, we utilise the group-algebra correspondence, natural to the axial framework in order to study…
Presented is a novel methodology for determining representational structure, which builds upon the existing Spotlight Resonance method. This new tool is used to gain insight into how discrete representations can emerge and organise in…
We introduce new classes of modulation spaces over phase space. By means of the Kohn-Nirenberg correspondence, these spaces induce norms on pseudo-differential operators that bound their operator norms on $L^p$-spaces, Sobolev spaces, and…
Abstract convexity generalises classical convexity by considering the suprema of functions taken from an arbitrarily defined set of functions. These are called the abstract linear (abstract affine) functions. The purpose of this paper is to…
In our previous work, we have constructed explicit smooth real algebraic functions which may have both compact and non-compact preimages on smooth real algebraic manifolds. This paper presents its variant. Our result is new in obtaining…
Using approximations, we give several characterizations of separability of bimodules. We also discuss how separability properties can be used to transfer some representation theoretic properties from one ring to another one: contravariant…
We propose a systematic scheme for computing the variation of rearrangement operators arising in the recently developed spectral geometry on noncommutative tori and $\theta$-deformed Riemannian manifolds. It can be summarized as a category…
We study modules over the algebroid stack $\W[\stx]$ of deformation quantization on a complex symplectic manifold $\stx$ and recall some results: construction of an algebra for $\star$-products, existence of (twisted) simple modules along…
We construct harmonic morphisms on the compact simple Lie group G2. The construction uses eigenfamilies in a representation theoretic scheme.
We consider the problem of modularizing control flow in a generic abstract interpretation framework. A generic abstract interpretation framework is not truly flexible if it does not allow interpreting with different path- and…
We have previously proposed a study of arrangements of small circles which also surround regions in the plane realized as the images of natural real algebraic maps yielding Morse-Bott functions by projections. Among studies of arrangements,…
We investigate algebraic and compositional properties of abstract multiway rewriting systems, which are archetypical structures underlying the formalism of the Wolfram model. We demonstrate the existence of higher homotopies in this class…
We define and study the theory of derivation-based connections on a recently introduced class of bimodules over an algebra which reduces to the category of modules whenever the algebra is commutative. This theory contains, in particular, a…
The paper deals with unbounded composition operators with infinite matrix symbols acting in $L^2$-spaces with respect to the gaussian measure on $\mathbb{R}^\infty$. We introduce weak cohyponormality classes $\EuScript{S}_{n,r}^*$ of…
The non-commutative algebraic analog of the moduli of vector and covector fields is built. The structure of moduli of derivations of non-commutative algebras are studied. The canonical coupling is introduced and the conditions for…