کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
389466 661146 2016 30 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A survey on the categorical term construction with applications
ترجمه فارسی عنوان
بررسی ساخت دوره طبقه ای با برنامه های کاربردی
کلمات کلیدی
جبری عمل کننده؛ مونادها مدت؛ Quantale؛ جبر؛ تئوری رده
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
چکیده انگلیسی

This paper gives a survey on the categorical term construction based on the free algebra algorithm. In the framework of monoidal biclosed and cocomplete categories a possible concept of signature for finitary theories is introduced. Applications of these constructions are given in Goguen's category and in the category of complete lattices and join preserving maps.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Fuzzy Sets and Systems - Volume 298, 1 September 2016, Pages 128–157
نویسندگان
, , ,