Matches in SemOpenAlex for { <https://semopenalex.org/work/W2780277129> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2780277129 endingPage "30" @default.
- W2780277129 startingPage "16" @default.
- W2780277129 abstract "We study rewriting for equational theories in the context of symmetric monoidal categories where there is a separable Frobenius monoid on each object. These categories, also called hypergraph categories, are increasingly relevant: Frobenius structures recently appeared in cross-disciplinary applications, including the study of quantum processes, dynamical systems and natural language processing. In this work we give a combinatorial characterisation of arrows of a free hypergraph category as cospans of labelled hypergraphs and establish a precise correspondence between rewriting modulo Frobenius structure on the one hand and double-pushout rewriting of hypergraphs on the other. This interpretation allows to use results on hypergraphs to ensure decidability of confluence for rewriting in a free hypergraph category. Our results generalise previous approaches where only categories generated by a single object (props) were considered." @default.
- W2780277129 created "2018-01-05" @default.
- W2780277129 creator A5067227020 @default.
- W2780277129 date "2017-12-22" @default.
- W2780277129 modified "2023-10-02" @default.
- W2780277129 title "Rewriting in Free Hypergraph Categories" @default.
- W2780277129 cites W1573502168 @default.
- W2780277129 cites W1966959191 @default.
- W2780277129 cites W2033080773 @default.
- W2780277129 cites W2054776476 @default.
- W2780277129 cites W2057121318 @default.
- W2780277129 cites W2112234929 @default.
- W2780277129 cites W2135173989 @default.
- W2780277129 cites W2192871021 @default.
- W2780277129 cites W2293138805 @default.
- W2780277129 cites W2494553417 @default.
- W2780277129 cites W2529093814 @default.
- W2780277129 cites W2557262758 @default.
- W2780277129 cites W2963644874 @default.
- W2780277129 cites W3100624102 @default.
- W2780277129 cites W3103260150 @default.
- W2780277129 cites W4213084408 @default.
- W2780277129 cites W4232023451 @default.
- W2780277129 cites W4301665430 @default.
- W2780277129 doi "https://doi.org/10.4204/eptcs.263.2" @default.
- W2780277129 hasPublicationYear "2017" @default.
- W2780277129 type Work @default.
- W2780277129 sameAs 2780277129 @default.
- W2780277129 citedByCount "2" @default.
- W2780277129 countsByYear W27802771292021 @default.
- W2780277129 countsByYear W27802771292023 @default.
- W2780277129 crossrefType "journal-article" @default.
- W2780277129 hasAuthorship W2780277129A5067227020 @default.
- W2780277129 hasBestOaLocation W27802771291 @default.
- W2780277129 hasConcept C118615104 @default.
- W2780277129 hasConcept C151730666 @default.
- W2780277129 hasConcept C153269930 @default.
- W2780277129 hasConcept C154690210 @default.
- W2780277129 hasConcept C199360897 @default.
- W2780277129 hasConcept C206901836 @default.
- W2780277129 hasConcept C2779343474 @default.
- W2780277129 hasConcept C2781221856 @default.
- W2780277129 hasConcept C33923547 @default.
- W2780277129 hasConcept C41008148 @default.
- W2780277129 hasConcept C54732982 @default.
- W2780277129 hasConcept C77906462 @default.
- W2780277129 hasConcept C86803240 @default.
- W2780277129 hasConceptScore W2780277129C118615104 @default.
- W2780277129 hasConceptScore W2780277129C151730666 @default.
- W2780277129 hasConceptScore W2780277129C153269930 @default.
- W2780277129 hasConceptScore W2780277129C154690210 @default.
- W2780277129 hasConceptScore W2780277129C199360897 @default.
- W2780277129 hasConceptScore W2780277129C206901836 @default.
- W2780277129 hasConceptScore W2780277129C2779343474 @default.
- W2780277129 hasConceptScore W2780277129C2781221856 @default.
- W2780277129 hasConceptScore W2780277129C33923547 @default.
- W2780277129 hasConceptScore W2780277129C41008148 @default.
- W2780277129 hasConceptScore W2780277129C54732982 @default.
- W2780277129 hasConceptScore W2780277129C77906462 @default.
- W2780277129 hasConceptScore W2780277129C86803240 @default.
- W2780277129 hasLocation W27802771291 @default.
- W2780277129 hasLocation W27802771292 @default.
- W2780277129 hasLocation W27802771293 @default.
- W2780277129 hasLocation W27802771294 @default.
- W2780277129 hasOpenAccess W2780277129 @default.
- W2780277129 hasPrimaryLocation W27802771291 @default.
- W2780277129 hasRelatedWork W1512724498 @default.
- W2780277129 hasRelatedWork W1514299161 @default.
- W2780277129 hasRelatedWork W1984954584 @default.
- W2780277129 hasRelatedWork W1985537797 @default.
- W2780277129 hasRelatedWork W2014395024 @default.
- W2780277129 hasRelatedWork W2079790373 @default.
- W2780277129 hasRelatedWork W2121691985 @default.
- W2780277129 hasRelatedWork W2780277129 @default.
- W2780277129 hasRelatedWork W3027318171 @default.
- W2780277129 hasRelatedWork W4223514664 @default.
- W2780277129 hasVolume "263" @default.
- W2780277129 isParatext "false" @default.
- W2780277129 isRetracted "false" @default.
- W2780277129 magId "2780277129" @default.
- W2780277129 workType "article" @default.