Related papers: An algebraic approach to weak and delay bismulatio…
In this article an interpretation and a proof of some classical \\theorems in analysis on the integration of analytic vectors fields are derived from the algebraic method of realization of bialgebras which are constructed with the data of a…
Weighted automata are a generalization of nondeterministic automata that associate a weight drawn from a semiring $K$ with every transition and every state. Their behaviours can be formalized either as weighted language equivalence or…
In this note we give a precise statement and a detailed proof for reconstruction problem of weak bialgebra maps. As an application we characterize indecomposability of weak algebras in categorical setting.
We define a notion of Lambda-simulation for coalgebraic modal logics, parametric on the choice Lambda of predicate liftings for a functor T. We show this notion is adequate in several ways: i) it preserves truth of positive formulas, ii)…
We define the secondary Hochschild complex for an entwining structure over a commutative $k$-algebra $B$. We show that this complex carries the structure of a weak comp algebra. We obtain two distinct cup product structures for the…
An abstract mathematical framework is presented in this paper as a unification of several deformed or generalized algebra proposed recently in the context of generalized statistical theories intended to treat certain complex thermodynamic…
Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor on some full subcategory of the…
By omitting the unitary constraint from the definition of weak post-Hopf algebras, we introduce the concept of relaxed weak post-Hopf algebras, offering a thorough characterization of all feasible relaxed weak post-Hopf algebraic structures…
This paper explores in some detail a recent proposal (the Rieffel induction/refined algebraic quantization scheme) for the quantization of constrained gauge systems. Below, the focus is on systems with a single constraint and, in this…
Trace semantics has been defined for various kinds of state-based systems, notably with different forms of branching such as non-determinism vs. probability. In this paper we claim to identify one underlying mathematical structure behind…
We introduce the notion of Rota-Baxter coalgebra which can be viewed as the dual notion of Rota-Baxter algebra. We provide some concrete examples and establish various properties of this new object. We also consider comodules over…
We study a coderivation from a cobimodule into a coalgebra. Vector cofields are defined by the action of a codual bicomodule on a coalgebra. This action is induced by a codifferential. A construction of a codual object in the category of…
This is a sequel paper of arXiv:1306.1466 in which we study the comodules over a regular weak multiplier bialgebra over a field, with a full comultiplication. Replacing the usual notion of coassociative coaction over a (weak) bialgebra, a…
We introduce the notion of vertex coalgebra, a generalization of vertex operator coalgebras. Next we investigate forms of cocommutativity, coassociativity, skew-symmetry, and an endomorphism, $D^*$, which hold on vertex coalgebras. The…
We consider state-based systems modelled as coalgebras whose type incorporates branching, and show that by suitably adapting the definition of coalgebraic bisimulation, one obtains a general and uniform account of the linear-time behaviour…
In this paper we introduce the notion of weak Hopf quasigroup as a generalization of weak Hopf algebras and Hopf quasigroups. We obtain its main properties and we prove the fundamental theorem of Hopf modules for these algebraic structures.
Given a unital C*-subalgebra of B(H), we study the set of all possible images of its injective envelope that are contained in B(H) and their position relative to the double commutant of the algebra in order to obtain more information about…
We first study labeled transition systems with explicit successful termination. We establish the notions of strong, weak, and branching bisimulation in terms of boolean matrix theory, introducing thus a novel and powerful algebraic…
In this work the notions of partial action of a weak Hopf algebra on a coalgebra and partial action of a groupoid on a coalgebra will be introduced, just as some important properties. An equivalence between these notions will be presented.…
Weakly dicomplemented lattices are bounded lattices equipped with two unary operations to encode a negation on {\it concepts}. They have been introduced to capture the equational theory of concept algebras \cite{Wi00}. They generalize…