Title of article :
A RELATION BETWEEN THE CATEGORIES Set, SetT, Set∗ AND SetT
Author/Authors :
HOSSEINI ، S.N. - SHAHID BAHONAR UNIVERSITY OF KERMAN , ILAGHI-HOSSEINI ، A. - SHAHID BAHONAR UNIVERSITY OF KERMAN
Abstract :
In this article, we have shown, for the addpoint monad T, thepartial morphism category Set*is isomorphic to the Kleisli category SetT. Alsowe have proved that the category, SetT, of Talgebras is isomorphic to thecategory Setetx 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
Journal title :
journal of mahani mathematical research center
Journal title :
journal of mahani mathematical research center
