Related papers: Observation algebras: Heyting algebra over coheren…
We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in…
In this essay, we immerse into the framework of normed division algebras as a suitable arena to accommodate the standard model of elementary particles, and we explore some applications to cosmology. Remarkably, they permit interesting…
The aim of the present paper is to show that the concept of intuitionistic logic based on a Heyting algebra can be generalized in such a way that it is formalized by means of a bounded poset. In this case it is not assumed that the poset is…
A synaptic algebra is both a special Jordan algebra and a spectral order-unit normed space satisfying certain natural conditions suggested by the partially ordered Jordan algebra of bounded Hermitian operators on a Hilbert space. The…
This article presents a study of an algebra spanned by the faces of a hyperplane arrangement. The quiver with relations of the algebra is computed and the algebra is shown to be a Koszul algebra. It is shown that the algebra depends only on…
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 study the algebra of observables in a time band on the boundary of anti-de Sitter space in a theory of quantum gravity. Strictly speaking this algebra does not have a commutant because products of operators within the time band give rise…
A synaptic algebra is a generalization of the Jordan algebra of selfadjoint elements of a von Neumann algebra. We study symmetries in synaptic algebras, i.e., elements whose square is the unit element, and we investigate the equivalence…
In this paper we investigate the possibility of constructing a complete quantization procedure consisting of geometric and deformation quantization. The latter assigns a noncommutative algebra to a symplectic manifold, by deforming the…
This survey provides an elementary introduction to operads and to their applications in homotopical algebra. The aim is to explain how the notion of an operad was prompted by the necessity to have an algebraic object which encodes higher…
A decomposition space (also called 2-Segal space) is a simplicial object satisfying an exactness condition weaker than the Segal condition: just as the Segal condition expresses composition, the new condition expresses decomposition. It is…
Compositionality is a key property for dealing with complexity, which has been studied from many points of view in diverse fields. Particularly, the composition of individual computations (or programs) has been widely studied almost since…
In the realm of invertible symmetry, the topological approach based on classifying spaces dominates the classification of 't Hooft anomalies and symmetry protected topological phases. We explore the alternative algebraic approach based on…
This research started with an algebra for reasoning about rely/guarantee concurrency for a shared memory model. The approach taken led to a more abstract algebra of atomic steps, in which atomic steps synchronise (rather than interleave)…
We show that one can formulate an algebra with lattice ordering so as to contain one quantum and five classical operations as opposed to the standard formulation of the Hilbert space subspace algebra. The standard orthomodular lattice is…
Hex systems were recently introduced [A. P. Kels. Integrable systems on hexagonal lattices and consistency on polytopes with quadrilateral and hexagonal faces. 2022. arXiv:2205.02720 [math-ph]] as systems of equations defined on…
A $\nabla$-algebra is a natural generalization of a Heyting algebra, unifying several algebraic structures, including bounded lattices, Heyting algebras, temporal Heyting algebras, and the algebraic representation of dynamic topological…
A dynamical algebra ${\cal A}_q$, englobing many of the deformed harmonic oscillator algebras is introduced. One of its special cases is extensively developed. A general method for constructing coherent states related to any algebra of the…
We study star product algebras of analytic functions for which the power series defining the products converge absolutely. Such algebras arise naturally in deformation quantization theory and in noncommutative quantum field theory. We…
We establish a novel connection between two research areas in non-classical logics which have been developed independently of each other so far: on the one hand, input/output logic, introduced within a research program developing logical…