A RELATION BETWEEN THE CATEGORIES Set * , SetT, Set AND SetT

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.

Keywords:

monad , partial morphism category , category of pointed sets , Kleisli category , category of T-algebras