In this article, we have shown, for the add-point monad T, the partial morphism category Set * is isomorphic to the Kleisli category SetT. Also we have proved that the category, SetT, of T-algebras is isomorphic to the category Set of pointed sets. Finally we have established commutative squares involving these categories.
HOSSEINI,S and ILAGHI-HOSSEINI,A . (2012). A RELATION BETWEEN THE CATEGORIES
Set
*
, SetT, Set AND SetT. Journal of Mahani Mathematical Research, 1(2), 137-145. doi: 10.22103/jmmrc.2012.513
MLA
HOSSEINI,S , and ILAGHI-HOSSEINI,A . "A RELATION BETWEEN THE CATEGORIES
Set
*
, SetT, Set AND SetT", Journal of Mahani Mathematical Research, 1, 2, 2012, 137-145. doi: 10.22103/jmmrc.2012.513
HARVARD
HOSSEINI S, ILAGHI-HOSSEINI A. (2012). 'A RELATION BETWEEN THE CATEGORIES
Set
*
, SetT, Set AND SetT', Journal of Mahani Mathematical Research, 1(2), pp. 137-145. doi: 10.22103/jmmrc.2012.513
CHICAGO
S HOSSEINI and A ILAGHI-HOSSEINI, "A RELATION BETWEEN THE CATEGORIES
Set
*
, SetT, Set AND SetT," Journal of Mahani Mathematical Research, 1 2 (2012): 137-145, doi: 10.22103/jmmrc.2012.513
VANCOUVER
HOSSEINI S, ILAGHI-HOSSEINI A. A RELATION BETWEEN THE CATEGORIES
Set
*
, SetT, Set AND SetT. J. Mahani Math. Res.. 2012;1(2):137-145. doi: 10.22103/jmmrc.2012.513
