S.N. HOSSEINI - SHAHID BAHONAR UNIVERSITY OF KERMAN
A. ILAGHI-HOSSEINI - SHAHID BAHONAR UNIVERSITY OF KERMAN
V. AMIRZADEH - DEPARTMENT OF STATISTICS, SHAHID BAHONAR UNIVERSITY OF KERMAN, KERMAN, I.R.IRAN.

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