The Algebra of Partial Equivalence Relations

被引：5

作者：

Zanasi, Fabio ^{[1
]}

机构：

[1] Radboud Univ Nijmegen, Inst Comp & Informat Sci iCIS, NL-6525 ED Nijmegen, Netherlands

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2016年 / 325卷

关键词：

PROP; distributive law; string diagram; partial equivalence relation; Frobenius algebra;

D O I：

10.1016/j.entcs.2016.09.046

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Recent work by the author with Bonchi and Sobocinski 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.

引用

页码：313 / 333

页数：21

共 25 条

[21] Frobenius objects in the category of relations
Rajan Amit Mehta
Ruoqi Zhang
Letters in Mathematical Physics, 2020, 110 : 1941 - 1959
[22] Nijenhuis-Richardson algebra and Frolicher-Nijenhuis Lie module
Guzmán, JDJC
Oziewicz, Z
NON-ASSOCIATIVE ALGEBRA AND ITS APPLICATIONS, 2006, 246 : 109 - 127
[23] A Batalin-Vilkovisky structure on the complete cohomology ring of a Frobenius algebra
Itagaki, Tomohiro
Sanada, Katsunori
Usui, Satoshi
JOURNAL OF ALGEBRA, 2021, 581 : 226 - 277
[24] Limiting partial combinatory algebras
Akama, Y
THEORETICAL COMPUTER SCIENCE, 2004, 311 (1-3) : 199 - 220
[25] The sl3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {sl}_{3}$$\end{document}-web algebra
M. Mackaay
W. Pan
D. Tubbenhauer
Mathematische Zeitschrift, 2014, 277 (1-2) : 401 - 479

← 1 2 3 →