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., & 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
S.N. HOSSEINI; 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
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
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
)
