Related papers: A Correspondence between Maximal Abelian Sub-Algeb…
This article analyzes the geometric properties of an idempotent, non-associative algebraic structure that extends the Max-Times semiring. This algebraic structure is useful for studying systems of Max-Times and Max-Plus equations, employing…
We prove that insertion-elimination Lie algebra of Feynman graphs, in the ladder case, has a natural interpretation in terms of a certain algebra of infinite dimensional matrices. We study some aspects of its representation theory and we…
The general aim of this article is to study the negation fragment of classical logic within the framework of contemporary (Abstract) Algebraic Logic. More precisely, we shall find the three classes of algebras that are canonically…
We study representations of Temperley-Lieb algebras associated with the transfer matrix formulation of statistical mechanics on arbitrary lattices. We first discuss a new hyperfinite algebra, the Diagram algebra $D_{\underline{n}}(Q)$,…
In this note, we observe a relation between dialgebras (in particular, Leibniz algebras) and conformal algebras. The purpose is to show how the methods of conformal algebras help solving problems on dialgebras, and, conversely, how the…
The construction of superintegrable systems based on Lie algebras and their universal enveloping algebras has been widely studied over the past decades. However, most constructions rely on explicit differential operator realisations and…
In this paper we show that non abelian extensions of an associative algebra $\mathcal{B}$ by an associative algebra $\mathcal{A}$ can be viewed as Maurer-Cartan elements of a suitable differential graded Lie algebra $L$. In particular we…
In this Master of Science Thesis I introduce geometric algebra both from the traditional geometric setting of vector spaces, and also from a more combinatorial view which simplifies common relations and operations. This view enables us to…
Actions of algebraic groups on DG categories provide a convenient, unifying framework in some parts of geometric representation theory, especially the representation theory of reductive Lie algebras. We extend this theory to loop groups and…
We discuss Lurie's (derived) bar and cobar constructions, the classical ones for simplicial groups and sets (due to Eilenberg-MacLane and Kan), and the classical ones for differential graded (co)algebras (due to Eilenberg-MacLane and Adams)…
The logico-algebraic study of Lewis's hierarchy of variably strict conditional logics has been essentially unexplored, hindering our understanding of their mathematical foundations, and the connections with other logical systems. This work…
This monograph develops the theory of Besov spaces for abelian group actions on semifinite von Neumann algebras and then proves Peller criteria for traceclass properties of associated Hankel operators. This allows to extend known index…
We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…
We address the task of deriving fixpoint equations from modal logics characterizing behavioural equivalences and metrics (summarized under the term conformances). We rely on earlier work that obtains Hennessy-Milner theorems as corollaries…
We propose a generalization of non-commutative geometry and gauge theories based on ternary Z_3-graded structures. In the new algebraic structures we define, we leave all products of two entities free, imposing relations on ternary products…
Representation of convex geometry as an appropriate join of compatible total orderings of the base set can be achieved, when closure operator of convex geometry is algebraic, or finitary. This bears to the finite case proved by P.H.~Edelman…
This paper revisits the Interaction Abstract Machine (IAM), a machine based on Girard's Geometry of Interaction, introduced by Mackie and Danos & Regnier. It is an unusual machine, not relying on environments, presented on linear logic…
We develop an algebraic language theory based on the notion of an Eilenberg--Moore algebra. In comparison to previous such frameworks the main contribution is the support for algebras with infinitely many sorts and the connection to logic…
We undertake a comprehensive study of structural properties of graph products of von Neumann algebras equipped with faithful, normal states, as well as properties of the graph products relative to subalgebras coming from induced subgraphs.…
This work is divided between two main areas: in the theory of multialgebras, we focus mostly on a new definition of what a freely generated object should be in their category, and on how this category is equivalent to another with partially…