Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287641331> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4287641331 abstract "We examine a variant of hypergraphs that we call interfaced linear hypergraphs, with the aim of creating a sound and complete graphical language for symmetric traced monoidal categories (STMCs) suitable for graph rewriting. In particular, we are interested in rewriting for categorical settings with a Cartesian structure, such as digital circuits. These are incompatible with previous languages where the trace is constructed using a compact closed or Frobenius structure, as combining these with Cartesian product can lead to degenerate diagrams. Instead we must consider an approach where the trace is constructed as an atomic operation. Interfaced linear hypergraphs are defined as regular hypergraphs in which each vertex is the source and target of exactly one edge each, equipped with an additional interface edge. The morphisms of a freely generated STMC are interpreted as interfaced linear hypergraphs, up to isomorphism (soundness). Moreover, any linear hypergraph is the representation of a unique STMC morphism, up to the equational theory of the category (completeness). This establishes interfaced linear hypergraphs as a suitable combinatorial language for STMCs. We then show how we can apply the theory of adhesive categories to our graphical language, meaning that a broad range of equational properties of STMCs can be specified as a graph rewriting system. The graphical language of digital circuits is presented as a case study." @default.
- W4287641331 created "2022-07-25" @default.
- W4287641331 creator A5083635777 @default.
- W4287641331 date "2020-10-13" @default.
- W4287641331 modified "2023-09-30" @default.
- W4287641331 title "Rewriting Graphically with Symmetric Traced Monoidal Categories" @default.
- W4287641331 doi "https://doi.org/10.48550/arxiv.2010.06319" @default.
- W4287641331 hasPublicationYear "2020" @default.
- W4287641331 type Work @default.
- W4287641331 citedByCount "0" @default.
- W4287641331 crossrefType "posted-content" @default.
- W4287641331 hasAuthorship W4287641331A5083635777 @default.
- W4287641331 hasBestOaLocation W42876413311 @default.
- W4287641331 hasConcept C110484373 @default.
- W4287641331 hasConcept C11413529 @default.
- W4287641331 hasConcept C118615104 @default.
- W4287641331 hasConcept C132525143 @default.
- W4287641331 hasConcept C137212723 @default.
- W4287641331 hasConcept C154690210 @default.
- W4287641331 hasConcept C156772000 @default.
- W4287641331 hasConcept C171032842 @default.
- W4287641331 hasConcept C199360897 @default.
- W4287641331 hasConcept C202444582 @default.
- W4287641331 hasConcept C2781221856 @default.
- W4287641331 hasConcept C33923547 @default.
- W4287641331 hasConcept C39920170 @default.
- W4287641331 hasConcept C41008148 @default.
- W4287641331 hasConcept C54884031 @default.
- W4287641331 hasConcept C558772884 @default.
- W4287641331 hasConcept C65236422 @default.
- W4287641331 hasConcept C80444323 @default.
- W4287641331 hasConcept C80899671 @default.
- W4287641331 hasConcept C98912367 @default.
- W4287641331 hasConceptScore W4287641331C110484373 @default.
- W4287641331 hasConceptScore W4287641331C11413529 @default.
- W4287641331 hasConceptScore W4287641331C118615104 @default.
- W4287641331 hasConceptScore W4287641331C132525143 @default.
- W4287641331 hasConceptScore W4287641331C137212723 @default.
- W4287641331 hasConceptScore W4287641331C154690210 @default.
- W4287641331 hasConceptScore W4287641331C156772000 @default.
- W4287641331 hasConceptScore W4287641331C171032842 @default.
- W4287641331 hasConceptScore W4287641331C199360897 @default.
- W4287641331 hasConceptScore W4287641331C202444582 @default.
- W4287641331 hasConceptScore W4287641331C2781221856 @default.
- W4287641331 hasConceptScore W4287641331C33923547 @default.
- W4287641331 hasConceptScore W4287641331C39920170 @default.
- W4287641331 hasConceptScore W4287641331C41008148 @default.
- W4287641331 hasConceptScore W4287641331C54884031 @default.
- W4287641331 hasConceptScore W4287641331C558772884 @default.
- W4287641331 hasConceptScore W4287641331C65236422 @default.
- W4287641331 hasConceptScore W4287641331C80444323 @default.
- W4287641331 hasConceptScore W4287641331C80899671 @default.
- W4287641331 hasConceptScore W4287641331C98912367 @default.
- W4287641331 hasLocation W42876413311 @default.
- W4287641331 hasOpenAccess W4287641331 @default.
- W4287641331 hasPrimaryLocation W42876413311 @default.
- W4287641331 hasRelatedWork W1569585985 @default.
- W4287641331 hasRelatedWork W1986348291 @default.
- W4287641331 hasRelatedWork W2081171974 @default.
- W4287641331 hasRelatedWork W2149622766 @default.
- W4287641331 hasRelatedWork W2290580007 @default.
- W4287641331 hasRelatedWork W3093457322 @default.
- W4287641331 hasRelatedWork W3139046154 @default.
- W4287641331 hasRelatedWork W4287641331 @default.
- W4287641331 hasRelatedWork W60870644 @default.
- W4287641331 hasRelatedWork W2140997306 @default.
- W4287641331 isParatext "false" @default.
- W4287641331 isRetracted "false" @default.
- W4287641331 workType "article" @default.