Related papers: An algebraic approach to weak and delay bismulatio…
Using the concept of mixable shuffles, we formulate explicitly the quantum quasi-shuffle product, as well as the subalgebra generated by primitive elements of the quantum quasi-shuffle bialgebra. We construct a braided coalgebra structure…
We investigate how various forms of bisimulation can be characterised using the technology of logical relations. The approach taken is that each form of bisimulation corresponds to an algebraic structure derived from a transition system,…
The Dirac quantization `procedure' for constrained systems is well known to have many subtleties and ambiguities. Within this ill-defined framework, we explore the generality of a particular interpretation of the Dirac procedure known as…
This paper is devoted to the presentation of combinatorial bialgebras whose coproduct is defined with the help of a commutative semigroup. We consider this setting in order to give a general framework which admits as special cases the…
We investigate a new algebraic structure which always gives rise to a set-theoretic solution of the Yang-Baxter equation. Specifically, a weak (left) brace is a non-empty set $S$ endowed with two binary operations $+$ and $\circ$ such that…
In this paper we present a unified algebraic framework to discuss the reduction of classical and quantum systems. The underlying algebraic structure is a Lie-Jordan algebra supplemented, in the quantum case, with a Banach structure. We…
The aim of this work is to study the representation dimension of cluster tilted algebras. We prove that the weak representation dimension of tame cluster tilted algebras is equal to three. We construct a generator module that reaches the…
The concurrent refinement algebra has been developed to support rely/guarantee reasoning about concurrent programs. The algebra supports atomic commands and defines parallel composition as a synchronous operation, as in Milner's SCCS. In…
We give a simple, elementary proof that a uniform algebra is weakly sequentially complete if and only if it is finite-dimensional.
Recursive coalgebras provide an elegant categorical tool for modelling recursive algorithms and analysing their termination and correctness. By considering coalgebras over categories of suitably indexed families, the correctness of the…
We define a new logic-induced notion of bisimulation (called $\rho$-bisimulation) for coalgebraic modal logics given by a logical connection, and investigate its properties. We show that it is structural in the sense that it is defined only…
Finite metric spaces are the object of study in many data analysis problems. We examine the concept of weak isometry between finite metric spaces, in order to analyse properties of the spaces that are invariant under strictly increasing…
We introduce and investigate the concept of Stratified Algebra, a new algebraic framework equipped with a layer-based structure on a vector space. We formalize a set of axioms governing intra-layer and inter-layer interactions, study their…
The aim of this paper is to develop the theory of Hom-coalgebras and related structures. After reviewing some key constructions and examples of quasi-deformations of Lie algebras involving twisted derivations and giving rise to the class of…
In this paper, we introduce the concept of (weak) NL bialgebras. These structures consist of a Lie bialgebra $(\g,[\cdot,\cdot],\delta)$ equipped with a Nijenhuis structure on the Lie algebra $(\g,[\cdot,\cdot])$, satisfying specific…
A general overview of the existing difference ring theory for symbolic summation is given. Special emphasis is put on the user interface: the translation and back translation of the corresponding representations within the term algebra and…
The main purpose of this article is to develop an explicit derived deformation theory of algebraic structures at a high level of generality, encompassing in a common framework various kinds of algebras (associative, commutative, Poisson...)…
We introduce the notion of reflexivity for combinatory algebras. Reflexivity can be thought of as an equational counterpart of the Meyer-Scott axiom of combinatory models, which indeed allows us to characterise an equationally definable…
We find a new braided Hopf structure for the algebra satisfied by the entries of the braided matrix $BSL_q(2)$. A new nonbraided algebra whose coalgebra structure is the same as the braided one is found to be a two parameter deformed…
A $\Sigma^*$-algebra is a concrete $C^*$-algebra that is sequentially closed in the weak operator topology. We study an appropriate class of $C^*$-modules over $\Sigma^*$-algebras analogous to the class of $W^*$-modules (selfdual…