کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10334330 | 690379 | 2011 | 17 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
On coalgebras over algebras
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We extend Barr's well-known characterization of the final coalgebra of a Set-endofunctor H as the completion of its initial algebra to the Eilenberg-Moore category Alg(M) of algebras associated to a Set-monad M, if H can be lifted to Alg(M). As further analysis, we introduce the notion of a commuting pair of endofunctors (T,H) with respect to a monad M and show that under reasonable assumptions, the final H-coalgebra can be obtained as the completion of the free M-algebra on the initial T-algebra.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 412, Issue 38, 2 September 2011, Pages 4989-5005
Journal: Theoretical Computer Science - Volume 412, Issue 38, 2 September 2011, Pages 4989-5005
نویسندگان
A. Balan, A. Kurz,