A cottage industry of lax extensions

  • سال انتشار: 1394
  • محل انتشار: مجله نظریه رسته ها و ساختارهای کلی جبری با کاربردها، دوره: 3، شماره: 1
  • کد COI اختصاصی: JR_CGASAT-3-1_006
  • زبان مقاله: انگلیسی
  • تعداد مشاهده: 106
دانلود فایل این مقاله

نویسندگان

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

چکیده

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.

کلیدواژه ها

Monad, lax extension, quantale, enriched category

اطلاعات بیشتر در مورد COI

COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.