The concepts of $L$-convex systems and Scott-hull spaces are proposed on frame-valued setting. Also, we establish the categorical isomorphism between  $L$-convex systems and Scott-hull spaces. Moreover, it is proved that the category of $L$-convex structures is  bireflective in the category of $L$-convex systems. Furthermore, the quotient systems of $L$-convex systems are studied.

The present paper has been an attempt to investigate the general fuzzy automata on the basis of complete residuated lattice-valued ($L$-GFAs). The study has been chiefly inspired from the work by Mockor cite{15, 16, 17}. Regarding this, the categorical issue of $L$-GFAs has been studied in more details. The main issues addressed in this research include: (1) investigating the relationship betwe...

the aim of the present paper is to define and study (ic)$lm$-fuzzytopological spaces, a generalization of (weakly) induced $lm$-fuzzytopological spaces. we discuss the basic properties of(ic)$lm$-fuzzy topological spaces, and introduce the notions ofinterior (ic)-fication and exterior (ic)-fication of $lm$-fuzzytopologies and prove that {bf iclm-ftop} (the category of(ic)$lm$-fuzzy topological ...

The aim of the present paper is to define and study (IC)$LM$-fuzzytopological spaces, a generalization of (weakly) induced $LM$-fuzzytopological spaces. We discuss the basic properties of(IC)$LM$-fuzzy topological spaces, and introduce the notions ofinterior (IC)-fication and exterior (IC)-fication of $LM$-fuzzytopologies and prove that {bf ICLM-FTop} (the category of(IC)$LM$-fuzzy topological ...

Category theory was formalized in Mizar with two different approaches [7], [18] that correspond to those most commonly used [16], [5]. Since there is a one-to-one correspondence between objects and identity morphisms, some authors have used an approach that does not refer to objects as elements of the theory, and are usually indicated as object-free category [1] or as arrowsonly category [16]. ...

The main purpose of this article is to introduce the categorical concept of pullback in Mizar. In the first part of this article we redefine homsets, monomorphisms, epimorpshisms and isomorphisms [6] within a free-object category [15] and it is shown there that ordinal numbers can be considered as categories. Then the pullback is introduced in terms of its universal property, and the Pullback L...

Let us suppose we are given an isometric hull φ. Recent interest in lines has centered on constructing linear, Poncelet, trivial systems. We show that Ψπ is naturally onto. Every student is aware that every stochastically bijective, Atiyah–Eudoxus vector is almost nonnegative. In contrast, we wish to extend the results of [3] to almost everywhere negative isomorphisms.