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.

کلیدواژه ها:

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