A cottage industry of lax extensions
سال انتشار: 1394
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 104
فایل این مقاله در 39 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_CGASAT-3-1_006
تاریخ نمایه سازی: 23 شهریور 1400
چکیده مقاله:
In this work, we describe an adjunction between the comma category of Set-based monads under the V -powerset monad and the category of associative lax extensions of Set-based monads to the category of V -relations. In the process, we give a general construction of the Kleisli extension of a monad to the category of V-relations.
کلیدواژه ها:
نویسندگان
Dirk Hofmann
Departamento de Matem ́atica, Universidade de Aveiro, ۳۸۱۰-۱۹۳ Aveiro, Portugal.
Gavin J. Seal
Ecole Polytechnique F ́ed ́erale de Lausanne, Station ۸, CH-۱۰۱۵ Lausanne, Switzerland
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :