Related papers: State BCK-algebras and State-Morphism BCK-algebras
From every pair of adjoint functors it is possible to produce a (possibly trivial) equivalence of categories by restricting to the subcategories where the unit and counit are isomorphisms. If we do this for the adjunction between effect…
Starting with a very pedestrian point of view we compare two different at the first glance definitions for an algebra associated to BPS states in supersymmetric fields theories. One proposed by Harvey and Moore exploits $S$-matrices of BPS…
A shape invariant nonseparable and nondiagonalizable two-dimensional model with anharmonic complex interaction, first studied by Cannata, Ioffe, and Nishnianidze, is re-examined with the purpose of providing an algebraic construction of the…
We introduce a non-commutative generalization of the notion of (approximately proper) equivalence relation and propose the construction of a "quotient space". We then consider certain one-parameter groups of automorphisms of the resulting…
Continuing a previous analysis originally motivated by physics, we consider representable states on quasi-local quasi *-algebras, starting with examining the possibility for a {\em compatible} family of {\em local} states to give rise to a…
Recently Flaminio and Montagna, \cite{FlMo}, extended the language of MV-algebras by adding a unary operation, called a state-operator. This notion is introduced here also for effect algebras. Having it, we generalize the Loomis--Sikorski…
Functorial properties of the correspondence between commutative BV$_\infty$-algebras and L$_\infty$-algebras are investigated. The category of L$_\infty$-algebras with L$_\infty$-morphisms is characterized as a certain category of pure…
We study self-adjoint extensions of operators which are the product of the multiplication operator by an analytic function and the analytic continuation in a strip. We compute the deficiency indices of the product operator for a wide class…
For each braided category $\mathcal{C}$ we show that, under mild hypotheses, there is an associated category of "half braided algebras" and their bimodules internal to $\mathcal{C}$ which is not only monoidal but even braided and balanced.…
We use the concept of the algebra eigenstates that provides a unified description of the generalized coherent states (belonging to different sets) and of the intelligent states associated with a dynamical symmetry group. The formalism is…
We review some aspects of the relation between ordinary coherent states and q-deformed generalized coherent states with some of the simplest cases of quantum Lie algebras. In particular, new properties of (q-)coherent states are utilized to…
This thesis presents a study of the structure of bipartite quantum states. In the first part, the representation theory of the unitary and symmetric groups is used to analyse the spectra of quantum states. In particular, it is shown how to…
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 use a two sorted equational theory of algebraic effects to model concurrent shared state with preemptive interleaving, recovering Brookes's seminal 1996 trace-based model precisely. The decomposition allows us to analyse Brookes's model…
A set of operators, the so-called k-fermion operators, that interpolate between boson and fermion operators are introduced through the consideration of an algebra arising from two non-commuting quon algebras. The deformation parameters q…
It is proposed the scheme of quantum mechanics, in which a Hilbert space and the linear operators are not primary elements of the theory. Instead of it certain variant of the algebraic approach is considered. The elements of noncommutative…
In this paper we introduce the very true operators on pseudo-BCK algebras and we study their properties. We prove that the composition of two very true operators is a very true operator if and only if they commute. Moreover, given a very…
The paper introduces the notion of state for involutive bisemilattices, a variety which plays the role of algebraic counterpart of paraconsistent weak Kleene logic and whose elements are represented as Plonka sum of Boolean algebras. We…
The article aims at describing all covers of any finitely generated variety of cBCK-algebras. It is known that subdirectly irreducible cBCK-algebras are rooted trees (concerning their order). Also, all subdirectly irreducible members of…
In this paper we study spectral properties of self-adjoint operators on a large class of geometries given via sofic groups. We prove that the associated integrated densities of states can be approximated via finite volume analogues. This is…