For a new class of topological vector spaces, namely κ-normed spaces, an associated quasisemilinear topological preordered space is defined and investigated. This structure arise naturally from the consideration of a κ-norm, that is a distance function between a point and a G δ-subset. For it, analogs of the Hahn-Banach theorem are proved.

on a hypergroupoid one can define a topology such that the hyperoperationis pseudocontinuous or continuous. in this paper we extend thisconcepts to the fuzzy case. we give a connection between the classical and thefuzzy (pseudo)continuous hyperoperations.

Based on a complete Heyting algebra, we modify the definition of lattice-valued fuzzifying convergence space using fuzzy inclusion order and construct in this way a Cartesian-closed category, called the category of L−ordered fuzzifying convergence spaces, in which the category of L−fuzzifying topological spaces can be embedded. In addition, two new categories are introduced, which are called th...

In this paper we introduce a new definition of the first non-abelian cohomology of topological groups.  We relate the cohomology of a normal subgroup $N$ of a topological group $G$ and the quotient $G/N$ to the cohomology of $G$. We get the inflation-restriction exact sequence. Also, we obtain a seven-term exact cohomology sequence up to dimension 2. We give an interpretation of the first non-a...

Let $ { mathcal{R}} L$ be the ring of real-valued continuous functions on a frame $L$ as the pointfree  version of $C(X)$, the ring of all real-valued continuous functions on a topological space $X$. Since $C_c(X)$ is the largest subring of $C(X)$ whose elements have countable image, this motivates us to present the pointfree  version of $C_c(X).$The main aim of this paper is to present t...

‎The Mod $2$ Steenrod algebra is a Hopf algebra that consists of the primary cohomology operations‎, ‎denoted by $Sq^n$‎, ‎between the cohomology groups with $mathbb{Z}_2$ coefficients of any topological space‎. ‎Regarding to its vector space structure over $mathbb{Z}_2$‎, ‎it has many base systems and some of the base systems can also be restricted to its sub algebras‎. ‎On the contrary‎, ‎in ...

In this paper we characterize various sorts of boundedness of the free (abelian) topological group F (X) (A(X)) as well as the free locally-convex linear topological space L(X) in terms of properties of a Tychonoff space X. These properties appear to be close to so-called selection principles, which permits us to show, that (it is consistent with ZFC that) the property of Hurewicz (Menger) is l...

Let L ◦ be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality ◦, understood as ‘next’. We extend the topological semantic for S4 to a semantics for the language L ◦ by interpreting L ◦ in dynamic topological systems, i.e., ordered pairs 〈X, f 〉, where X is a topological space and f is a continuous function on X ...

It is known that many integrable systems can be reduced from self-dual Yang-Mills equations. The formal solution space to the self-dual Yang-Mills equations is given by the so called ADHM construction, in which the solution space are graded by vector spaces with dimensionality concerning topological index. When we consider a reduced self-dual system such as the Bogomol’nyi equations, in terms o...