A RELATION BETWEEN THE CATEGORIES Set * , SetT, Set AND SetT
Publish place: Journal of Mahani Mathematical Research، Vol: 1، Issue: 2
Publish Year: 1391
نوع سند: مقاله ژورنالی
زبان: English
View: 380
This Paper With 9 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_KJMMRC-1-2_004
تاریخ نمایه سازی: 5 خرداد 1398
Abstract:
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.
Keywords:
monad , partial morphism category , category of pointed sets , Kleisli category , category of T-algebras
Authors
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.