Paper Info
Title
The Algebra of Partial Equivalence Relations.
Abstract
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.
Year
DOI
Venue
2016
10.1016/j.entcs.2016.09.046
Electronic Notes in Theoretical Computer Science
Keywords
Field
DocType
PROP,distributive law,string diagram,partial equivalence relation,Frobenius algebra
Discrete mathematics,Distributive property,Equivalence relation,Algebra,Partial equivalence relation,Pure mathematics,Linear subspace,String diagram,Frobenius algebra,Mathematics,Cartesian coordinate system,Cube
Journal
Volume
ISSN
Citations 
325
1571-0661
2
PageRank 
References 
Authors
0.42
9
1
Name
Order
Citations
PageRank
Fabio Zanasi111013.89