Related papers: Measuring data types
A method of classification of integrable equations on quad-graphs is discussed based on algebraic ideas. We assign a Lie ring to the equation and study the function describing the dimensions of linear spaces spanned by multiple commutators…
Earlier, Lunts and Rosenberg studied a notion of compatibility of endofunctors with localization functors, with an application to the study of differential operators on noncommutative rings and schemes. Another compatibility -- of Ore…
A new theory of data types which allows for the definition of types as initial algebras of certain functors Fam(C) -> Fam(C) is presented. This theory, which we call positive inductive-recursive definitions, is a generalisation of Dybjer…
In the present work, new classes of wavelet functions are presented in the framework of Clifford analysis. Firstly, some classes of new monogenic polynomials are provided based on 2-parameters weight functions. Such classes extend the well…
We develop the viewpoint that the opposite of the category of W*-algebras and unital normal *-homomorphisms is analogous to the category of sets and functions. For each pair of W*-algebras, we construct their free exponential, which in the…
In this paper, we define a generalization of Khovanov-Lauda-Rouquier algebras which we call weighted Khovanov-Lauda-Rouquier algebras. We show that these algebras carry many of the same structures as the original Khovanov-Lauda-Rouquier…
Following the classical approach of Birkhoff, we suggest an enriched version of enriched universal algebra. Given a suitable base of enrichment $\mathcal V$, we define a language $\mathbb L$ to be a collection of $(X,Y)$-ary function…
We explore recursive programming with extensible data types. Row types make the structure of data types first class, and can express a variety of type system features including record subtyping and combination of case branches. Our goal is…
We study quantum intergrable systems of interacting particles from the point of view, proposed in our previous paper. We obtain Calogero-Moser and Sutherland systems as well their Ruijsenaars relativistic generalization by a Hamiltonian…
Endomorphisms algebras can replace the concept of principal fiber bundle. Gauge theories are reformulated within this algebraic framework and further generalized to unify ordinary connections and Higgs fields. A 'noncommutative Maxwell'…
We develop some basic results about full amalgamation classes with intrinsic trascendentals. These classes have generics whose models may have finite subsets whose intrinsic closure is not contained in its algebraic closure. We will show…
In this work we extend the notion of co-algebra, co-algebraic Wess-Zumino-Witten formulation of Lagrangian Field Theory and the Homotopy transfer theorem to many strings and particle systems. We discuss in detail the construction of higher…
Starting from a description of various generalized function algebras based on sequence spaces, we develop the general framework for considering linear problems with singular coefficients or non linear problems. Therefore, we prove…
Magnitude and (co)weightings are quite general constructions in enriched categories, yet they have been developed almost exclusively in the context of Lawvere metric spaces. We construct a meaningful notion of magnitude for flow graphs…
In this work we construct a C*-algebra from an injective endomorphisms of some group G, allowing the endomorphism to have infinite cokernel. We generalize results obtained by I. Hirshberg and also by J. Cuntz and A. Vershik. In good cases…
We consider an orbit category of the bounded derived category of a path algebra of type A_n which can be viewed as a -(m+1)-cluster category, for m >= 1. In particular, we give a characterisation of those maximal m-rigid objects whose…
In this paper we extend the cocharacter theory to generalized identities of $W$-algebras. We prove that the Hilbert series of the relatively free $W$-algebra admits an expansion in terms of Schur functions whose coefficients coincide with…
We introduce the notion of (nondegenerate) strongly-modular fusion algebras. Here strongly-modular means that the fusion algebra is induced via Verlinde's formula by a representation of the modular group whose kernel contains a congruence…
Type theories with multi-clocked guarded recursion provide a flexible framework for programming with coinductive types encoding productivity in types. Combining this with solutions to general guarded domain equations one can also construct…
Enriched Lawvere theories are a generalization of Lawvere theories that allow us to describe the operational semantics of formal systems. For example, a graph enriched Lawvere theory describes structures that have a graph of operations of…