<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10046407> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/AcademicArticle> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://purl.org/dc/terms/title> "Deconstructing Lawvere with distributive laws"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://purl.org/ontology/bibo/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 , 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."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://purl.org/dc/terms/date> "2018-02" .
<https://discovery.ucl.ac.uk/id/document/646224> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://purl.org/ontology/bibo/volume> "95" .
<https://discovery.ucl.ac.uk/id/org/ext-9ab12bce4ed1db8d63802ba79cf39587> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<https://discovery.ucl.ac.uk/id/org/ext-9ab12bce4ed1db8d63802ba79cf39587> <http://xmlns.com/foaf/0.1/name> "ELSEVIER SCIENCE INC"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://purl.org/dc/terms/publisher> <https://discovery.ucl.ac.uk/id/org/ext-9ab12bce4ed1db8d63802ba79cf39587> .
<https://discovery.ucl.ac.uk/id/publication/ext-23522208> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Collection> .
<https://discovery.ucl.ac.uk/id/publication/ext-23522208> <http://xmlns.com/foaf/0.1/name> "Journal of Logical and Algebraic Methods in Programming"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/publication/ext-23522208> .
<https://discovery.ucl.ac.uk/id/publication/ext-23522208> <http://www.w3.org/2002/07/owl#sameAs> <urn:issn:23522208> .
<https://discovery.ucl.ac.uk/id/publication/ext-23522208> <http://purl.org/ontology/bibo/issn> "23522208" .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-088596d67d8eccfa10595170421c3752> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10046407#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10046407#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-088596d67d8eccfa10595170421c3752> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-0a284ed408a24d8d618bf809c45a91da> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10046407#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10046407#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-0a284ed408a24d8d618bf809c45a91da> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-fa25b31d3d2c72740bb166e547f7c1db> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10046407#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10046407#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <https://discovery.ucl.ac.uk/id/person/ext-fa25b31d3d2c72740bb166e547f7c1db> .
<https://discovery.ucl.ac.uk/id/person/ext-0a284ed408a24d8d618bf809c45a91da> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-0a284ed408a24d8d618bf809c45a91da> <http://xmlns.com/foaf/0.1/givenName> "P"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-0a284ed408a24d8d618bf809c45a91da> <http://xmlns.com/foaf/0.1/familyName> "Sobocinski"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-0a284ed408a24d8d618bf809c45a91da> <http://xmlns.com/foaf/0.1/name> "P Sobocinski"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-088596d67d8eccfa10595170421c3752> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-088596d67d8eccfa10595170421c3752> <http://xmlns.com/foaf/0.1/givenName> "F"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-088596d67d8eccfa10595170421c3752> <http://xmlns.com/foaf/0.1/familyName> "Bonchi"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-088596d67d8eccfa10595170421c3752> <http://xmlns.com/foaf/0.1/name> "F Bonchi"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-fa25b31d3d2c72740bb166e547f7c1db> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-fa25b31d3d2c72740bb166e547f7c1db> <http://xmlns.com/foaf/0.1/givenName> "F"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-fa25b31d3d2c72740bb166e547f7c1db> <http://xmlns.com/foaf/0.1/familyName> "Zanasi"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-fa25b31d3d2c72740bb166e547f7c1db> <http://xmlns.com/foaf/0.1/name> "F Zanasi"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ArticleEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/646224> .
<https://discovery.ucl.ac.uk/id/document/646224> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/646224> <http://www.w3.org/2000/01/rdf-schema#label> "Deconstructing Lawvere with distributive laws (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://purl.org/dc/elements/1.1/hasVersion> <https://discovery.ucl.ac.uk/id/document/646224> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://eprints.org/ontology/hasAccepted> <https://discovery.ucl.ac.uk/id/document/646224> .
<https://discovery.ucl.ac.uk/id/document/646224> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10046407/1/main.pdf> .
<https://discovery.ucl.ac.uk/id/document/646224> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10046407/1/main.pdf> .
<https://discovery.ucl.ac.uk/id/eprint/10046407/1/main.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "main.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/646225> .
<https://discovery.ucl.ac.uk/id/document/646225> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/646225> <http://www.w3.org/2000/01/rdf-schema#label> "Deconstructing Lawvere with distributive laws (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/646225> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/646224> .
<https://discovery.ucl.ac.uk/id/document/646225> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/646224> .
<https://discovery.ucl.ac.uk/id/document/646225> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/646224> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/646226> .
<https://discovery.ucl.ac.uk/id/document/646226> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/646226> <http://www.w3.org/2000/01/rdf-schema#label> "Deconstructing Lawvere with distributive laws (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/646226> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/646224> .
<https://discovery.ucl.ac.uk/id/document/646226> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/646224> .
<https://discovery.ucl.ac.uk/id/document/646226> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/646224> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/646227> .
<https://discovery.ucl.ac.uk/id/document/646227> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/646227> <http://www.w3.org/2000/01/rdf-schema#label> "Deconstructing Lawvere with distributive laws (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/646227> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/646224> .
<https://discovery.ucl.ac.uk/id/document/646227> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/646224> .
<https://discovery.ucl.ac.uk/id/document/646227> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/646224> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/646228> .
<https://discovery.ucl.ac.uk/id/document/646228> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/646228> <http://www.w3.org/2000/01/rdf-schema#label> "Deconstructing Lawvere with distributive laws (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/646228> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/646224> .
<https://discovery.ucl.ac.uk/id/document/646228> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/646224> .
<https://discovery.ucl.ac.uk/id/document/646228> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/646224> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/646229> .
<https://discovery.ucl.ac.uk/id/document/646229> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/646229> <http://www.w3.org/2000/01/rdf-schema#label> "Deconstructing Lawvere with distributive laws (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/646229> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/646224> .
<https://discovery.ucl.ac.uk/id/document/646229> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/646224> .
<https://discovery.ucl.ac.uk/id/document/646229> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/646224> .
<https://discovery.ucl.ac.uk/id/eprint/10046407> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10046407/> .
<https://discovery.ucl.ac.uk/id/eprint/10046407/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10046407 \n\nDeconstructing Lawvere with distributive laws\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/10046407/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/10046407/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10046407> .