Abstract | ||
---|---|---|
PROs, PROPs and Lawvere categories are related notions adapted to the study of algebraic structures borne by an object in a category: PROs are monoidal, PROPs are symmetric monoidal and Lawvere categories are cartesian. This paper connects the three notions using Lack's technique for composing PRO(P)s via distributive laws. We show that Lawvere categories can be seen as the composite PROP CCm;T, where T expresses the algebraic structure in linear form and CCm express the ability of copying and discarding them. In turn the PROP T can be decomposed in terms of PROs as P;S where P expresses the ability of permuting variables and S is the PRO encoding the syntactic structure without permutations. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1016/j.jlamp.2017.12.002 | Journal of Logical and Algebraic Methods in Programming |
Field | DocType | Volume |
Distributive property,Linear form,Algebraic structure,Permutation,Copying,Law,Mathematics,Cartesian coordinate system,Syntactic structure | Journal | 95 |
Issue | ISSN | Citations |
1 | 2352-2208 | 0 |
PageRank | References | Authors |
0.34 | 16 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Filippo Bonchi | 1 | 579 | 47.04 |
Paweł Sobociński | 2 | 609 | 45.57 |
Fabio Zanasi | 3 | 110 | 13.89 |