TY  - JOUR
TI  - Deconstructing Lawvere with distributive laws
AV  - public
Y1  - 2018/02//
EP  - 146
N2  - 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 , where  expresses the algebraic structure in linear form and  express the ability of copying and discarding them. In turn the PROP  can be decomposed in terms of PROs as  where expresses the ability of permuting variables and  is the PRO encoding the syntactic structure without permutations.
ID  - discovery10046407
PB  - ELSEVIER SCIENCE INC
KW  - Science & Technology
KW  -  Technology
KW  -  Computer Science
KW  -  Theory & Methods
KW  -  Logic
KW  -  Computer Science
KW  -  Science & Technology - Other Topics
KW  -  MONOIDAL CATEGORIES
KW  -  ALGEBRA
KW  -  MONADS
KW  -  GRAPHS
VL  - 95
SP  - 128
N1  - © 2017 Elsevier Inc. All rights reserved. This version is the author accepted manuscript. For information on re-use, please refer to the publisher?s terms and conditions.
UR  - http://doi.org/10.1016/j.jlamp.2017.12.002
SN  - 2352-2208
JF  - Journal of Logical and Algebraic Methods in Programming
A1  - Bonchi, F
A1  - Sobocinski, P
A1  - Zanasi, F
ER  -