The Algebra of Partial Equivalence Relations
Copyright policy )The Algebra of Partial Equivalence Relations
AbstractRecent 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.
- Radboud University Nijmegen Netherlands
- University College London United Kingdom
- Alma Mater Studiorum University of Bologna Italy
- STICHTING RADBOUD UNIVERSITEIT Netherlands
distributive law; Frobenius algebra; partial equivalence relation; PROP; string diagram, Theoretical Computer Science, distributive law, distributive lawstring diagram, Frobenius algebra, string diagram, Digital Security, PROP, partial equivalence relation, Computer Science(all)
distributive law; Frobenius algebra; partial equivalence relation; PROP; string diagram, Theoretical Computer Science, distributive law, distributive lawstring diagram, Frobenius algebra, string diagram, Digital Security, PROP, partial equivalence relation, Computer Science(all)
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).7 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Top 10%
Citations provided by BIP!Popularity provided by BIP!