A category $mathbf{C}$ is called Cartesian closed  provided that it has finite products and for each$mathbf{C}$-object $A$ the functor $(Atimes -): Ara A$ has a right adjoint. It is well known that the category $mathbf{TopFuzz}$  of all topological fuzzes is both complete  and cocomplete, but it is not Cartesian closed. In this paper, we introduce some Cartesian closed subcategories of this cat...

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

The definition of $L$-fuzzy Q-convergence spaces is presented by Pang and Fang in 2011. However, Cartesian-closedness of the category of $L$-fuzzy Q-convergence spaces is not investigated. This paper focuses on Cartesian-closedness of the category of $L$-fuzzy Q-convergence spaces, and it is shown that  the category $L$-$mathbf{QFCS}$ of $L$-fuzzy Q-convergence spaces is Cartesian-closed.

in this paper, some categorical properties of the category ${bf cpo}_{{bf act}text{-}s}$ of all {cpo $s$-acts}, cpo's equipped with actions of a monoid $s$ on them, and strict continuous action-preserving maps between them is considered. in particular, we describe products and coproducts in this category, and consider monomorphisms and epimorphisms. also, we show that the forgetful functor from...

We present a Cartesian closed category ELoc of equilocales, which contains the category Loc of locales as a reflective full subcategory. The embedding of Loc into ELoc preserves products and all exponentials of exponentiable locales.