کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10333719 | 689170 | 2016 | 25 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Relation lifting, a survey
ترجمه فارسی عنوان
بلند کردن رابطه، یک نظرسنجی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
زغال سنگ بلند کردن رابطه، بی اختیاری، منطق زغال سنگ،
ترجمه چکیده
ما در تئوری های دسته بندی و کالجاب در مورد چگونگی گسترش ویژگی از نقشه ها به روابط بررسی می کنیم. این روابط بلند کردن دارای یک ویژگی جهانی است، که در برخی جزئیات ارائه شده و ما را به تعمیم به روابط یکنواخت و ارزشمند هدایت می کند. به عنوان برنامه های کاربردی، نشان داده شده است که چگونه مفاهیم مختلف تقسیم، شبیه سازی و منطق مودال را بوجود می آورد.
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
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
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 85, Issue 4, June 2016, Pages 475-499
نویسندگان
Alexander Kurz, JiÅÃ Velebil,