employing the notions of the strong $l$-topology introduced by zhangand the $l$-frame introduced by yao  and the concept of $l$-enrichedtopological system defined in the present paper, we constructadjunctions among the categories {bf st$l$-top} of strong$l$-topological spaces, {bf s$l$-loc} of strict $l$-locales and{bf $l$-entopsys} of $l$-enriched topological systems. all of theseconcepts are ...

the aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. all values aretaken in a fixed frame $l$. a definition of (strongly) completelydistributive $l$-ordered sets is introduced. the main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive $l$-ordereds...

In this paper we study the notions of cogenerator and subdirectlyirreducible in the category of S-poset. First we give somenecessary and sufficient conditions for a cogenerator $S$-posets.Then we see that under some conditions, regular injectivityimplies generator and cogenerator. Recalling Birkhoff'sRepresentation Theorem for algebra, we study subdirectlyirreducible S-posets and give this theo...

We recall Hoare's formulation of data re nement in terms of upward, downward and total simulations between locally ordered functors from the structured locally ordered category generated by a programming language with an abstract data type to a semantic locally ordered category: we use a simple imperative language with a data type for stacks as leading example. We give a uni ed category theoret...

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...

The most comon definition of the Poset category is incorrect. Here we present a valid categorical concept using morphisms that are “closed” and “complete”.

The collection of isomorphism classes of nitely generated rank-ordered sets is shown to be a nitely generated rank-ordered set again. This is used to construct a model of the simply typed lambda calculus extended by the assumption Type: Type. Beside this, the structure of rank-ordered sets is studied. They can be represented as inverse limits of !-cochains of substructures, each being a retract...

in this paper we study the notions of cogenerator and subdirectlyirreducible in the category of s-poset. first we give somenecessary and sufficient conditions for a cogenerator $s$-posets.then we see that under some conditions, regular injectivityimplies generator and cogenerator. recalling birkhoff'srepresentation theorem for algebra, we study subdirectlyirreducible s-posets and give this theo...

‎In this paper we take $mathcal A$ to be the category {bf Pos-S}‎ ‎of $S$-posets‎, ‎for a posemigroup $S$‎, ${mathcal M}_{pd}$ to‎ ‎be the class of partially ordered sequantially-dense‎ ‎monomorphisms and study the categorical properties‎, ‎such as‎ ‎limits and colimits‎, ‎of this class‎. ‎These properties are usually‎ ‎needed to study the homological notions‎, ‎such as injectivity‎, ‎of‎ ‎$S$-...