Zanasi, F;
(2016)
The Algebra of Partial Equivalence Relations.
Electronic Notes in Theoretical Computer Science
, 325
pp. 313-333.
10.1016/j.entcs.2016.09.046.
Preview |
Text
Zanasi_1-s2.0-S1571066116300974-main.pdf - Published Version Download (407kB) | Preview |
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.
| Type: | Article |
|---|---|
| Title: | The Algebra of Partial Equivalence Relations |
| Event: | Mathematical Foundations of Program Semantics |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1016/j.entcs.2016.09.046 |
| Publisher version: | https://doi.org/10.1016/j.entcs.2016.09.046 |
| Language: | English |
| Additional information: | Copyright © 2016 The Author(s). Published by Elsevier B.V. www.elsevier.com/locate/entcs http://dx.doi.org/10.1016/j.entcs.2016.09.046 This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/). |
| Keywords: | PROP, distributive lawstring diagram, partial equivalence relation, Frobenius algebra |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/1561442 |
Archive Staff Only
 |
View Item |
