کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4950069 1440361 2016 21 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
The Algebra of Partial Equivalence Relations
ترجمه فارسی عنوان
جبر روابط معادل جزئی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی

Recent work by the author with Bonchi and Sobociński shows how PROPs of linear relations (subspaces) can be presented by generators and equations via a “cube construction”, based on letting very simple structures interact according to PROP operations of sum, fibered sum and composition via a distributive law. This paper shows how the same construction can be used in a cartesian setting to obtain presentations by generators and equations for the PROP of equivalence relations and of partial equivalence relations.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 325, 5 October 2016, Pages 313-333
نویسندگان
,