Related papers: Effect algebras as presheaves on finite Boolean al…
We study a tensor product in the category of effect algebras and in the category of partially ordered Abelian groups with order unit. We show that the tensor product preserves all the constructions that are essentially colimits over a…
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…
In this paper we study the tensor product of two $f$-algebras. We show that the Riesz Subspace generated by a subalgebra in an $f$-algebra is an algebra in order to prove that the Riesz tensor product of two $f$-algebras has a structure of…
We will study the existence of different types of the Riesz Decomposition Property for the lexicographic product of two partially ordered groups. A special attention will be paid to the lexicographic product of the group of the integers…
We show that a skew category algebra can be embedded into a twisted tensor product algebra. We investigate the extension of some concepts of Puig and Turull from group algebras to category algebras and their behavior with respect to skew…
Effect algebras form a formal algebraic description of the structure of the so-called effects in a Hilbert space which serves as an event-state space for effects in quantum mechanics. This is why effect algebras are considered as logics of…
Most often, in a categorical semantics for a programming language, the substitution of terms is expressed by composition and finite products. However this does not deal with the order of evaluation of arguments, which may have major…
Abstract clones serve as an algebraic presentation of the syntax of a simple type theory. From the perspective of universal algebra, they define algebraic theories like those of groups, monoids and rings. This link allows one to study the…
Effectus theory is a new branch of categorical logic that aims to capture the essentials of quantum logic, with probabilistic and Boolean logic as special cases. Predicates in effectus theory are not subobjects having a Heyting algebra…
We construct a generalization of the Day convolution tensor product of presheaves that works for certain double $\infty$-categories. Using this construction, we obtain an $\infty$-categorical version of the well-known description of…
Dimension effect algebras were introduced in (A. Jencova, S. Pulmannova, Rep. Math. Phys. 62 (2008), 205-218), and it was proved that they are unit intervals in dimension groups. We prove that the effect algebra tensor product of dimension…
We prove a theorem about the derivation algebra of the tensor product of two algebras. As an application, we determine the derivation algebra of the fixed point algebra of the tensor product of two algebras, with respect to the tensor…
Effect algebras, introduced by Foulis and Bennett in 1994, are partial algebras which generalize some well known classes of algebraic structures (for example orthomodular lattices, MV algebras, orthoalgebras etc.). In the present paper, we…
We discuss the relationships between effect algebras with the Riesz Decomposition Property and partially ordered groups with interpolation. We show that any $\sigma$-orthocomplete atomic effect algebra with the Riesz Decomposition Property…
We study measures defined on effect algebras. We characterize real-valued measures on effect algebras and find a class of effect algebras, that include the natural effect algebras of sets, on which sigma-additive measures with values in a…
The starting point of this work is that the class of evolution algebras over a fixed field is closed under tensor product. This arises questions about the inheritance of properties from the tensor product to the factors and conversely. For…
In this paper we define and study dimension generalized effect algebras (DGEAs), i.e., Dedekind orthocomplete and centrally orthocomplete generalized effect algebras equipped with a dimension equivalence relation. Our theory is a bona fide…
Effect algebras form an algebraic formalization of the logic of quantum mechanics. For lattice effect algebras E we investigate a natural implication and prove that the implication reduct of E is term equivalent to E. Then we present a…
We show that in a finite tensor category, the tensor product property holds for support varieties if and only if it holds between indecomposable periodic objects. We apply this to certain Hopf algebras in the form of skew group algebras. In…
In the note some construction of Lie algebras is introduced. It is proved that the construction has the same property as a well known wreath product of groups [1]: Any extension of groups can be embedded into their wreath product [2].