کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4943829 | 1437714 | 2017 | 28 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Fixed points of adjoint functors enriched in a quantaloid
ترجمه فارسی عنوان
نقاط ثابت فاکتورها مجاور در یک کوانتالوئید غنی شده اند
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
چکیده انگلیسی
Representation theorems are established for fixed points of adjoint functors between categories enriched in a small quantaloid. In a very general setting these results set up a common framework for representation theorems of concept lattices in formal concept analysis (FCA) and rough set theory (RST), which not only extend the realm of formal contexts to multi-typed and multi-valued ones, but also provide a general approach to construct various kinds of representation theorems. Besides incorporating several well-known representation theorems in FCA and RST as well as formulating new ones, it is shown that concept lattices in RST can always be represented as those in FCA through relative pseudo-complements of the given contexts, especially if the contexts are valued in a non-Girard quantaloid.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Fuzzy Sets and Systems - Volume 321, 15 August 2017, Pages 1-28
Journal: Fuzzy Sets and Systems - Volume 321, 15 August 2017, Pages 1-28
نویسندگان
Hongliang Lai, Lili Shen,