‎ in the present article‎, ‎we study some categorical properties of the category {$bf‎ cpo_{sep}$-$s$} of all {separately strict $s$-cpo's}; cpo's equipped with‎ a compatible right action of a separately strict cpo-monoid $s$ which is‎ strict continuous in each component‎. ‎in particular‎, we show that this category is reflective and coreflective in the‎ category of $s$-cpo's‎, ‎find the free a...

Starting from the symmetric group Sn , we construct two fiat 2-categories. One of them can be viewed as the fiat “extension” of the natural 2-category associated with the symmetric inverse semigroup (considered as an ordered semigroup with respect to the natural order). This 2-category provides a fiat categorification for the integral semigroup algebra of the symmetric inverse semigroup. The ot...

Let S be an ordered semigroup. In this paper we first introduce the concepts of (∈,∈ ∨qk)-fuzzy ideals, (∈,∈ ∨qk)-fuzzy bi-ideals and (∈,∈ ∨qk)-fuzzy generalized bi-ideals of an ordered semigroup S by the ordered fuzzy points of S, and investigate their related properties. Furthermore, characterizations of regular ordered semigroups by the properties of (∈,∈ ∨qk)-fuzzy left ideals, (∈,∈ ∨qk)-fu...

The intersection of all two-sided ideals of an ordered semigroup, if it is non-empty, is called the kernel of the ordered semigroup. A left ideal L of an ordered semigroup (S, ·,≤) having a kernel I is said to be simple if I is properly contained in L and for any left ideal L′ of (S, ·,≤), I is properly contained in L′ and L′ is contained in L imply L′ = L. The notions of simple right and two-s...

In this paper, some fixed point theorems for nonexpansive mappings in partially ordered spherically complete ultrametric spaces are proved. In addition, we investigate the existence of fixed points for nonexpansive mappings in partially ordered non-Archimedean normed spaces. Finally, we give some examples to discuss the assumptions and support our results.

The intuitionistic fuzzification of the notion of a bi-ideal in ordered semigroups is considered. In terms of intuitionistic fuzzy set, conditions for an ordered semigroup to be completely regular is provided. Characterizations of intuitionistic fuzzy bi-ideals in ordered semigroups are given. Using a collection of bi-ideals with additional conditions, an intuitionistic fuzzy bi-ideal is constr...

The purpose of this paper is to characterize an ordered semigroup S in terms the properties associated B(S) all bi-ideals S. We show that a Clifford if and only semilattice. normal band both regular intra regular. For each subvariety V bands, we such ∈ V.

In this paper, we introduce a new sort of interval valued $left(in ,in vee q_{widetilde{k}}^{widetilde{delta }}right) $-fuzzy bi-ideal in ordered semigroups which is the generalization of interval valued $left( in ,in vee q_{%widetilde{k}}right) $-fuzzy bi-ideal and interval valued $left( in ,in vee qright) $-fuzzy bi-ideal of ordered semigroups. We give examples in which we show that these str...