The Algebra of Partial Equivalence Relations

被引:5
|
作者
Zanasi, Fabio [1 ]
机构
[1] Radboud Univ Nijmegen, Inst Comp & Informat Sci iCIS, NL-6525 ED Nijmegen, Netherlands
关键词
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 条
  • [1] Endotypes of partial equivalence relations
    Zhuchok, Yurii
    Toichkina, Olena
    SEMIGROUP FORUM, 2021, 103 (03) : 966 - 975
  • [2] Endotypes of partial equivalence relations
    Yurii Zhuchok
    Olena Toichkina
    Semigroup Forum, 2021, 103 : 966 - 975
  • [3] The Endotopism Semigroups of a Partial Equivalence Relation
    Yu. V. Zhuchok
    E. A. Toichkina
    Siberian Mathematical Journal, 2021, 62 : 1039 - 1049
  • [4] The Endotopism Semigroups of a Partial Equivalence Relation
    Zhuchok, Yu, V
    Toichkina, E. A.
    SIBERIAN MATHEMATICAL JOURNAL, 2021, 62 (06) : 1039 - 1049
  • [5] The Calculus of Signal Flow Diagrams I: Linear relations on streams
    Bonchi, Filippo
    Sobocinski, Pawel
    Zanasi, Fabio
    INFORMATION AND COMPUTATION, 2017, 252 : 2 - 29
  • [6] On a Generalized Matrix Algebra over Frobenius Algebra
    Xu Qing-bing
    Zhang Kong-sheng
    Communications in Mathematical Research, 2019, 35 (01) : 65 - 74
  • [7] The Hochschild cohomology ring of a Frobenius algebra with semisimple Nakayama automorphism is a Batalin-Vilkovisky algebra
    Lambre, Thierry
    Zhou, Guodong
    Zimmerman, Alexander
    JOURNAL OF ALGEBRA, 2016, 446 : 103 - 131
  • [8] Annihilators of principal ideals in the exterior algebra
    Koc, Cemal
    Esin, Songuel
    TAIWANESE JOURNAL OF MATHEMATICS, 2007, 11 (04): : 1019 - 1035
  • [9] Graphical Piecewise-Linear Algebra
    Boisseau, Guillaume
    Piedeleu, Robin
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), 2022, 13242 : 101 - 119
  • [10] Monoidal categories in, and linking, geometry and algebra
    Street, Ross
    BULLETIN OF THE BELGIAN MATHEMATICAL SOCIETY-SIMON STEVIN, 2012, 19 (05) : 769 - 820