Related papers: Universal Quantitative Algebra for Fuzzy Relations…
For every finitary set functor F we demonstrate that free algebras carry a canonical partial order. In case F is bicontinuous, we prove that the cpo obtained as the conservative completion of the free algebra is the free completely…
We introduce the notions of a mutually algebraic structures and theories and prove many equivalents. A theory $T$ is mutually algebraic if and only if it is weakly minimal and trivial if and only if no model $M$ of $T$ has an expansion…
Generalized metric spaces are obtained by weakening the requirements (e.g., symmetry) on the distance function and by allowing it to take values in structures (e.g., quantales) that are more general than the set of non-negative real…
The paper aims to develop a framework for coalgebraic fuzzy geometric logic by adding modalities to the language of fuzzy geometric logic. Using the methods of coalgebra, the modal operators are introduced in the language of fuzzy geometric…
Motivated by Gopal and Vetro [Iranian Journal of Fuzzy Systems, 11(3), 95-107], we introduce a symmetric pair of $\beta$-admissible mappings and obtain common fixed point theorems for such a pair in complete and weak $G$-complete fuzzy…
We study quantum cluster algebras from unpunctured surfaces with arbitrary coefficients and quantization. We first give a new proof of the Laurent expansion formulas for commutative cluster algebras from unpunctured surfaces, we then give…
We prove in particular that the Lipschitz-free space over a finitely-dimensional normed space is complemented in its bidual. For Euclidean spaces the norm of the respective projection is $1$. As a tool to obtain the main result we establish…
Fuzzy metric spaces, grounded in t-norms and membership functions, have been widely proposed to model uncertainty in machine learning, decision systems, and artificial intelligence. Yet these frameworks treat uncertainty as an external…
We generalise the Blok-J\'onsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence. While Blok and J\'onsson admit, in place…
Extending the work of Freese, we further develop the theory of generalized trigonometric functions. In particular, we study to what extent the notion of polar form for the complex numbers may be generalized to arbitrary associative…
We propose a quantization of coarse spaces and uniform Roe algebras. The objects are based on the quantum relations introduced by N. Weaver and require the choice of a represented von Neumann algebra. In the case of the diagonal inclusion…
Exploiting the path integral approach al la Batalin and Vilkovisky, we show that any anomaly-free Quantum Field Theory (QFT) comes with a family parametrized by certain moduli space M, which tangent space at the point corresponding to the…
In this article, we generalize some frequently used metrical notions such as: completeness, closedness, continuity, g-continuity and compatibility to relation-theoretic setting and utilize these relatively weaker notions to prove results on…
We characterize completey (give a necessary and suffcient condition using special neat embeddings)for a relation algebra to belong to the amalgamation, strong amalgamation, and superamalgamation base of the class of representable algebras.…
The universal enveloping algebra functor between Leibniz and associative algebras defined by Loday and Pirashvili is extended to crossed modules. We prove that the universal enveloping crossed module of algebras of a crossed module of…
The notion of {\it free} generalized vertex algebras is introduced. It is equivalent to the notion of {\it generalized principal subspaces} associated with lattices which are not necessarily integral. Combinatorial bases and the characters…
We develop a geometric framework for three-dimensional quantum Hall fluids of extended objects (quasi-strings) in the presence of a strong three-form background field associated with a bundle gerbe. In the strong-field regime, fast internal…
We discuss generalizations of the notion of i) the group of unitary elements of a (real or complex) finite dimensional C*-algebra, ii) gauge transformations and iii) (real) automorphisms, in the framework of compact quantum group theory and…
Taking into account that Rold\'an et al.'s ample spectrum contractions have managed to extend and unify more than ten distinct families of contractive mappings in the setting of metric spaces, in this manuscript we present a first study on…
We prove an existence and uniqueness theorem for fixed points of contraction maps in the framework of quantum metric spaces, where distinguishability is defined by the $L^2$ norm: $d_Q(\psi_1,\psi_2) = \|\psi_1 - \psi_2\|$. The result…