کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10333719 689170 2016 25 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Relation lifting, a survey
ترجمه فارسی عنوان
بلند کردن رابطه، یک نظرسنجی
کلمات کلیدی
زغال سنگ بلند کردن رابطه، بی اختیاری، منطق زغال سنگ،
ترجمه چکیده
ما در تئوری های دسته بندی و کالجاب در مورد چگونگی گسترش ویژگی از نقشه ها به روابط بررسی می کنیم. این روابط بلند کردن دارای یک ویژگی جهانی است، که در برخی جزئیات ارائه شده و ما را به تعمیم به روابط یکنواخت و ارزشمند هدایت می کند. به عنوان برنامه های کاربردی، نشان داده شده است که چگونه مفاهیم مختلف تقسیم، شبیه سازی و منطق مودال را بوجود می آورد.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
بلند کردن رابطه، یک نظرسنجی
چکیده انگلیسی
We survey work in category theory and coalgebra on how to extend a functor from maps to relations. This relation lifting has a universal property, which is presented in some detail and guides us to generalisations to monotone and many-valued relations. As applications, it is shown how different notions of bisimulation, simulation and modal logics do arise.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 85, Issue 4, June 2016, Pages 475-499
نویسندگان
, ,