Related papers: $\mathcal{Q}$-closure spaces
We present a new type of matrix regularization, which is based on matrix-valued functions defined on a cylinder. If non-commutative coordinates of a fuzzy space are defined by a regularization of such functions, we show that a classical…
Inclusions and extensions lie at the heart of physics and mathematics. The most relevant kind of inclusion in quantum systems is that of a von Neumann subalgebra, which is the focus of this work. We propose an object intrinsic to a given…
We investigate categories in which products distribute over coproducts, a structure we call doubly-infinitary distributive categories. Through a range of examples, we explore how this notion relates to established concepts such as…
Frolicher spaces and smooth mappings form a cartesian closed category. It was shown in our previous paper [Far East Journal of Mathematical Sciences, 35 (2009), 211-233] that its full subcategory of Weil exponentiable Frolicher spaces is…
In this paper we provide a general setting to deal with level continuous fuzzy-valued functions. Namely, we embed such functions into a product of spaces of real-valued functions of two variables satisfying certain types of left-continuity,…
In this work we propose a formal system for fuzzy algebraic reasoning. The sequent calculus we define is based on two kinds of propositions, capturing equality and existence of terms as members of a fuzzy set. We provide a sound semantics…
For a relational Horn theory $\mathbb{T}$, we provide useful sufficient conditions for the exponentiability of objects and morphisms in the category $\mathbb{T}\text{-}\mathsf{Mod}$ of $\mathbb{T}$-models; well-known examples of such…
We study FTOP(L), a fuzzy category with fuzzy functions in the role of morphisms. This category has the same objects as the category L-TOP of Chang-Goguen L-topological spaces,but an essentially wider class of morphisms - so called fuzzy…
This paper is concerned with a covering problem of Euclidean space by a particular arrangement of cones that are not necessarily full and are allowed to overlap. The problem provides an equivalent geometric reformulation of the solvability…
A recently proposed algebraic representation of the causal set model of the small-scale structure of space-time of Sorkin et al. is briefly reviewed and expanded. The algebraic model suggested, called quantum causal set, is physically…
A class of quantum analogues of compact symmetric spaces of classical type is introduced by means of constant solutions to the reflection equations. Their zonal spherical functions are discussed in connection with $q$-orthogonal…
Morphisms between (formal) contexts are certain pairs of maps, one between objects and one between attributes of the contexts in question. We study several classes of such morphisms and the connections between them. Among other things, we…
On an infinite set some closure operators are finitary (algebraic) while others are not. We can generalize this idea for a complete algebraic lattice letting the compact elements act as the finite sets. With this in mind, we will consider…
One of the longstanding problems in universal algebra is the question of which finite lattices are isomorphic to the congruence lattices of finite algebras. This question can be phrased as which finite lattices can be represented as…
In this paper a new equivalence relation $\approx$ to classify the fuzzy subgroups of finite groups is introduced and studied. This generalizes the equivalence relation $\sim$ defined on the lattice of fuzzy subgroups of a finite group that…
The purpose of this paper is to continue studying the properties of $\gamma$-regular open sets introduced and explored in [6]. The concept of $\gamma$-closed spaces have also been defined and discussed.
We present a novel approach for data set scaling based on scale-measures from formal concept analysis, i.e., continuous maps between closure systems, and derive a canonical representation. Moreover, we prove said scale-measures are lattice…
In this paper, using Q*-closed sets, we introduce a new version of normality called, Q*-normality which is a weak form of normality. Further utilizing Q*g-closed sets, we obtain some characterizations of Q*-normal and normal spaces and also…
We exhibit an adjunction between a category of abstract algebras of partial functions that we call difference-restriction algebras and a category of Hausdorff \'etale spaces. Difference-restriction algebras are those algebras isomorphic to…
For quasianalytic Denjoy--Carleman differentiable function classes $C^Q$ where the weight sequence $Q=(Q_k)$ is log-convex, stable under derivations, of moderate growth and also an $\mathcal L$-intersection (see 1.6), we prove the…