in this article, we have shown, for the add-point monad t, thepartial morphism category set*is isomorphic to the kleisli category sett. alsowe have proved that the category, sett, of t-algebras is isomorphic to thecategory set of pointed sets. finally we have established commutative squaresinvolving these categories.

in this paper, some fundamental concepts are given relating to fuzzytopological spaces. then it is shown that there is a contravariant functorfrom the category of the pointed fuzzy topological spaces to the category ofgroups and homomorphisms. also the fuzzy topological spaces which are hopfspaces are investigated and it is shown that a pointed fuzzy toplogicalspace having the same homotopy typ...

In this paper, some fundamental concepts are given relating to fuzzytopological spaces. Then it is shown that there is a contravariant functorfrom the category of the pointed fuzzy topological spaces to the category ofgroups and homomorphisms. Also the fuzzy topological spaces which are Hopfspaces are investigated and it is shown that a pointed fuzzy toplogicalspace having the same homotopy typ...

In this article, we have shown, for the add-point monad T, thepartial morphism category Set*is isomorphic to the Kleisli category SetT. Alsowe have proved that the category, SetT, of T-algebras is isomorphic to thecategory Set of pointed sets. Finally we have established commutative squaresinvolving these categories.

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

We give here some examples of non pointed protomodular categories C satisfying a property similar to the property of representation of actions which holds for the pointed protomodular category Gp of groups: any slice category of Gp, any category of groupoids with a fixed set of objects, any essentially affine category. This property gives rise to an internal construction of the center of any ob...

We investigate 3-permutability, in the sense of universal algebra, in an abstract categorical setting which unifies the pointed and the non-pointed contexts in categorical algebra. This leads to a unified treatment of regular subtractive categories and of regular Goursat categories, as well as of E-subtractive varieties (where E is the set of constants in a variety) recently introduced by the f...