Related papers: Coexistence in interval effect algebras
We will define two ways to assign cohomology groups to effect algebras, which occur in the algebraic study of quantum logic. The first way is based on Connes' cyclic cohomology. The resulting cohomology groups are related to the state space…
The notion of semi-BCI algebras is introduced and some of its properties are investigated. This algebra is another generalization for BCI-algebras. It arises from the "intervalization" of BCI algebras. Semi-BCI have a similar structure to…
The formulation of covariant brackets on the space of solutions to a variational problem is analyzed in the framework of contact geometry. It is argued that the Poisson algebra on the space of functionals on fields should be read as a…
The coexistence of effects in a certain class of generalized probability theories is investigated. The effect space corresponding to an even-sided regular polygon state space has a central hyperplane that contains all the nontrivial…
The set of effect operators in a complex Hilbert space can be injectively embedded into the set of functions from the set of one-dimensional projections to the real interval [0,1]. Properties of this injection are investigated.
We characterize vertex algebras (in a suitable sense) as algebras over a certain graded co-operad. We also discuss some examples and categorical implications of this characterization.
We consider the functions in two variables on an arbitrary poset, for which the convolution operation is defined. We obtain the generalization of incidence algebra and describe its properties: invertibility, the Jackobson radical,…
We show how an effect algebra $\mathcal{X}$ can be regarded as a category, where the morphisms $x \rightarrow y$ are the elements $f$ such that $x \leq f \leq y$. This gives an embedding $\mathbf{EA} \rightarrow \mathbf{Cat}$. The interval…
We study arrangements of intervals in $\mathbb{R}^2$ for which many pairs form trapezoids. We show that any set of intervals forming many trapezoids must have underlying algebraic structure, which we characterise. This leads to some…
We study homology and cohomology of triassociative algebras with non-trivial coefficients.
We propose a classification of group properties according to whether they can be deduced from the assumption that a group's subgroup lattice contains an interval isomorphic to some lattice. We are able to classify a few group properties as…
An observable on a quantum structure is any $\sigma$-homomorphism of quantum structures from the Borel $\sigma$-algebra into the quantum structure. We show that our partial information on an observable known only for all intervals of the…
Some cohomology classes associated with an ideal in a Lie algebra, a Poisson structure on the basic functions algebra of contact structure, its Poisson cohomology and geometric (pre)quantization are considered from the algebraic point of…
The goal of this paper is to consider some relations between varieties of representations of groups and varieties of associative algebras. The main emphasis is put on the varieties of representations of groups induced by the varieties of…
In this paper we present the set of intervals as a normed vector space. We define also a four-dimensional associative algebra whose product gives the product of intervals in any cases. This approach allows to give a notion of divisibility…
We develop the notion of deformations using a valuation ring as ring of coefficients. This permits to consider in particular the classical Gerstenhaber deformations of associative or Lie algebras as infinitesimal deformations and to solve…
We prove that there is a monadic adjunction between the category of bounded posets and the category of pseudo effect algebras.
After identifying the reduced incidence algebra of an arbitrary cobweb poset the very first properties of these algebras are being disclosed.
We present a mathematical framework for quantum mechanics in which the basic entities and operations have physical significance. In this framework the primitive concepts are states and effects and the resulting mathematical structure is a…
The unit interval in a partially ordered abelian group with order unit forms an interval effect algebra (IEA) which can be regarded as an algebraic model for the semantics of a formal deductive logic. There is a categorical equivalence…