<> <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/10062963> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/AcademicArticle> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://purl.org/dc/terms/title> "Universal Constructions for (Co)Relations: categories, monoidal categories, and props"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://purl.org/ontology/bibo/abstract> "Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic interpretation for diagrams is given in terms of relations or corelations (generalised equivalence relations) of some kind. In this paper we show how semantic categories of both relations and corelations can be characterised as colimits of simpler categories. This modular perspective is important as it simplifies the task of giving a complete axiomatisation for semantic equivalence of string diagrams. Moreover, our general result unifies various theorems that are independently found in literature and are relevant for program semantics, quantum computation and control theory."^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://purl.org/dc/terms/date> "2018-09" . <https://discovery.ucl.ac.uk/id/document/793547> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://purl.org/ontology/bibo/volume> "14" . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://purl.org/ontology/bibo/issue> "3" . <https://discovery.ucl.ac.uk/id/org/ext-b23679e1881cb3134b8cbdd39b21b0d8> <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-b23679e1881cb3134b8cbdd39b21b0d8> <http://xmlns.com/foaf/0.1/name> "Technical University of Braunschweig"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://purl.org/dc/terms/publisher> <https://discovery.ucl.ac.uk/id/org/ext-b23679e1881cb3134b8cbdd39b21b0d8> . <https://discovery.ucl.ac.uk/id/publication/ext-18605974> <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-18605974> <http://xmlns.com/foaf/0.1/name> "Logical Methods in Computer Science"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/publication/ext-18605974> . <https://discovery.ucl.ac.uk/id/publication/ext-18605974> <http://www.w3.org/2002/07/owl#sameAs> <urn:issn:18605974> . <https://discovery.ucl.ac.uk/id/publication/ext-18605974> <http://purl.org/ontology/bibo/issn> "18605974" . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-da9b45bd923b5319b3c9de383e090010> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10062963#authors> . <https://discovery.ucl.ac.uk/id/eprint/10062963#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-da9b45bd923b5319b3c9de383e090010> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-f726f8713a8f6ffbcfc7ecc9b01491f9> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10062963#authors> . <https://discovery.ucl.ac.uk/id/eprint/10062963#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-f726f8713a8f6ffbcfc7ecc9b01491f9> . <https://discovery.ucl.ac.uk/id/person/ext-da9b45bd923b5319b3c9de383e090010> <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-da9b45bd923b5319b3c9de383e090010> <http://xmlns.com/foaf/0.1/givenName> "B"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-da9b45bd923b5319b3c9de383e090010> <http://xmlns.com/foaf/0.1/familyName> "Fong"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-da9b45bd923b5319b3c9de383e090010> <http://xmlns.com/foaf/0.1/name> "B Fong"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-f726f8713a8f6ffbcfc7ecc9b01491f9> <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-f726f8713a8f6ffbcfc7ecc9b01491f9> <http://xmlns.com/foaf/0.1/givenName> "F"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-f726f8713a8f6ffbcfc7ecc9b01491f9> <http://xmlns.com/foaf/0.1/familyName> "Zanasi"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/person/ext-f726f8713a8f6ffbcfc7ecc9b01491f9> <http://xmlns.com/foaf/0.1/name> "F Zanasi"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ArticleEPrint> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/document/793547> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/793547> <http://www.w3.org/2000/01/rdf-schema#label> "Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Text)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://purl.org/dc/elements/1.1/hasVersion> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://eprints.org/ontology/hasPublished> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/document/793547> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10062963/1/1710.03894.pdf> . <https://discovery.ucl.ac.uk/id/document/793547> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10062963/1/1710.03894.pdf> . <https://discovery.ucl.ac.uk/id/eprint/10062963/1/1710.03894.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "1710.03894.pdf"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/793548> . <https://discovery.ucl.ac.uk/id/document/793548> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/793548> <http://www.w3.org/2000/01/rdf-schema#label> "Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Other)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/document/793548> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/document/793548> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/document/793548> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/793549> . <https://discovery.ucl.ac.uk/id/document/793549> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/793549> <http://www.w3.org/2000/01/rdf-schema#label> "Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Other)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/document/793549> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/document/793549> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/document/793549> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/793550> . <https://discovery.ucl.ac.uk/id/document/793550> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/793550> <http://www.w3.org/2000/01/rdf-schema#label> "Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Other)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/document/793550> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/document/793550> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/document/793550> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/793551> . <https://discovery.ucl.ac.uk/id/document/793551> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/793551> <http://www.w3.org/2000/01/rdf-schema#label> "Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Other)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/document/793551> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/document/793551> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/document/793551> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/793552> . <https://discovery.ucl.ac.uk/id/document/793552> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/793552> <http://www.w3.org/2000/01/rdf-schema#label> "Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Other)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/document/793552> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/document/793552> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/document/793552> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/793553> . <https://discovery.ucl.ac.uk/id/document/793553> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/793553> <http://www.w3.org/2000/01/rdf-schema#label> "Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Other)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/document/793553> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/document/793553> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/document/793553> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/793554> . <https://discovery.ucl.ac.uk/id/document/793554> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/793554> <http://www.w3.org/2000/01/rdf-schema#label> "Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Other)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/document/793554> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/document/793554> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/document/793554> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/793555> . <https://discovery.ucl.ac.uk/id/document/793555> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/793555> <http://www.w3.org/2000/01/rdf-schema#label> "Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Other)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/document/793555> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/document/793555> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/document/793555> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/793556> . <https://discovery.ucl.ac.uk/id/document/793556> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> . <https://discovery.ucl.ac.uk/id/document/793556> <http://www.w3.org/2000/01/rdf-schema#label> "Universal Constructions for (Co)Relations: categories, monoidal categories, and props (Other)"^^<http://www.w3.org/2001/XMLSchema#string> . <https://discovery.ucl.ac.uk/id/document/793556> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/document/793556> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/document/793556> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/793547> . <https://discovery.ucl.ac.uk/id/eprint/10062963> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10062963/> . <https://discovery.ucl.ac.uk/id/eprint/10062963/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10062963 \n\nUniversal Constructions for (Co)Relations: categories, monoidal categories, and props\n\n" . <https://discovery.ucl.ac.uk/id/eprint/10062963/> <http://purl.org/dc/elements/1.1/format> "text/html" . <https://discovery.ucl.ac.uk/id/eprint/10062963/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10062963> .