کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422346 685072 2014 27 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Dualizing Clones as Models of Lawvere Theories
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Dualizing Clones as Models of Lawvere Theories
چکیده انگلیسی

While universal algebraists are well aware of the equivalence between abstract clones and Lawvere theories as well as that of concrete clones and models of Lawvere theories in the category of sets, they almost never use the category-theoretic framework. It seems as if they simply do not see a reason why it might be beneficial to use category theory in order to study the problems that they are interested in. In this paper, we argue that the possibility of applying duality theory might be such a reason, and we support this claim by outlining how treating and dualizing clones as models of Lawvere theories can be beneficial for the classical problem of studying the lattice of clones on a given set. In particular, we give several examples of concrete results that are obtained with this method.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 303, 28 March 2014, Pages 79-105