Related papers: Universal Quantitative Algebra for Fuzzy Relations…
We introduce the \emph{universal algebra} of two Poisson algebras $P$ and $Q$ as a commutative algebra $A:={\mathcal P} (P, \, Q )$ satisfying a certain universal property. The universal algebra is shown to exist for any finite dimensional…
An algebra is called corecursive if from every coalgebra a unique coalgebra-to-algebra homomorphism exists into it. We prove that free corecursive algebras are obtained as coproducts of the terminal coalgebra (considered as an algebra) and…
Several important measures of quantum correlations of a state of a finite-dimensional composite system are defined as linear combinations of marginal entropies of this state. This paper is devoted to the infinite-dimensional generalizations…
Recently, a new generalized family of infinite-dimensional $ \widetilde{W} $ algebras, each associated with a particular element of a commutative subalgebra of the $ W_{1+\infty} $ algebra, was described. This paper provides a comprehensive…
The null-surface formulation of general relativity -- recently introduced -- provides novel tools for describing the gravitational field, as well as a fresh physical way of viewing it. The new formulation provides ``local'' observables…
We give a new construction of free distributive p-algebras. Our construction relies on a detailed description of completely meet-irreducible congruences, so it is purely universal algebraic. It yields a normal form theorem for p-algebra…
We show that every multilinear map between Euclidean spaces induces a unique, continuous, Minkowski multilinear map of the corresponding real cones of zonoids. Applied to the wedge product of the exterior algebra of a Euclidean space, this…
After a review of the concept of "monad with arities" we show that the category of algebras for such a monad has a canonical dense generator. This is used to extend the correspondence between finitary monads on sets and Lawvere's algebraic…
We will generalize the concept of aggregation function for mathematical structures as a certain function between quantales. In fact, these functions turn to be exactly the lax morphism of quantales. This provides a global framework for the…
We study diverse parametrized versions of the operad of associative algebra, where the parameter are taken in an associative semigroup $\Omega$ (generalization of matching or family associative algebras) or in its cartesian square…
We present a quantum geometric framework for stochastic quantisation in the case of a free Klein-Gordon field on Euclidean space. In this approach the noise is part of the background space, spacetime is fuzzy. We extend the notion of sharp…
We introduce C-Algebras (quantum analogues of compact Riemann surfaces), defined by polynomial relations in non-commutative variables and containing a real parameter that, when taken to zero, provides a classical non-linear,…
We investigate a systematic approach to include curvature corrections to the isometry algebra of flat space-time order-by-order in the curvature scale. The Poincar\'e algebra is extended to a free Lie algebra, with generalised boosts and…
We furnish any category of a universal (co)homology theory. Universal (co)homologies and universal relative (co)homologies are obtained by showing representability of certain functors and take values in $R$-linear abelian categories of…
Over a field of characteristic zero, we show that the forgetful functor from the homotopy category of commutative dg algebras to the homotopy category of dg associative algebras is faithful. In fact, the induced map of derived mapping…
In this paper, we present the characterizations of total boundedness, relative compactness and compactness in fuzzy set spaces equipped with the endograph metric. The conclusions in this paper significantly improve the corresponding…
We introduce an infinite set of integer mappings that generalize the well-known Collatz-Ulam mapping and we conjecture that an infinite subset of these mappings feature the remarkable property of the Collatz conjecture, namely that they…
The framework of quantitative equational logic has been successfully applied to reason about algebras whose carriers are metric spaces and operations are nonexpansive. We extend this framework in two orthogonal directions: algebras endowed…
We consider fuzzy rough sets defined on De Morgan Heyting algebras. We present a theorem that can be used to obtain several correspondence results between fuzzy rough sets and fuzzy relations defining them. We characterize fuzzy rough…
We generalize the operadic approach to algebraic quantum field theory [arXiv:1709.08657] to a broader class of field theories whose observables on a spacetime are algebras over any single-colored operad. A novel feature of our framework is…