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. Journal of Mahani Mathematical Research, 2012; 1(2): 137-145. doi: 10.22103/jmmrc.2012.513
)
