A RELATION BETWEEN THE CATEGORIES Set * , SetT, Set AND SetT
سال انتشار: 1391
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 370
فایل این مقاله در 9 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_KJMMRC-1-2_004
تاریخ نمایه سازی: 5 خرداد 1398
چکیده مقاله:
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
نویسندگان
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.