FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3139046154> ?p ?o ?g. }

• W3139046154 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.
• W3139046154 created "2021-03-29" @default.
• W3139046154 creator A5073211211 @default.
• W3139046154 date "2020-10-13" @default.
• W3139046154 modified "2023-09-27" @default.
• W3139046154 title "Rewriting Graphically with Symmetric Traced Monoidal Categories" @default.
• W3139046154 cites W1549334072 @default.
• W3139046154 cites W1605626978 @default.
• W3139046154 cites W1797049789 @default.
• W3139046154 cites W1973799895 @default.
• W3139046154 cites W1992002681 @default.
• W3139046154 cites W1998996156 @default.
• W3139046154 cites W2008699979 @default.
• W3139046154 cites W2010590963 @default.
• W3139046154 cites W2075667825 @default.
• W3139046154 cites W2102357532 @default.
• W3139046154 cites W2118686544 @default.
• W3139046154 cites W2123549656 @default.
• W3139046154 cites W2152476038 @default.
• W3139046154 cites W2157114307 @default.
• W3139046154 cites W2167575691 @default.
• W3139046154 cites W2182286275 @default.
• W3139046154 cites W2233063783 @default.
• W3139046154 cites W2343018180 @default.
• W3139046154 cites W2536118580 @default.
• W3139046154 cites W2537740402 @default.
• W3139046154 cites W2596819160 @default.
• W3139046154 cites W2610888051 @default.
• W3139046154 cites W2799039080 @default.
• W3139046154 cites W2962749966 @default.
• W3139046154 cites W2964217961 @default.
• W3139046154 cites W2994934720 @default.
• W3139046154 cites W3037128134 @default.
• W3139046154 cites W3105021321 @default.
• W3139046154 cites W3109435874 @default.
• W3139046154 cites W3141112769 @default.
• W3139046154 cites W3169813521 @default.
• W3139046154 cites W427601738 @default.
• W3139046154 cites W99963581 @default.
• W3139046154 cites W2602076714 @default.
• W3139046154 hasPublicationYear "2020" @default.
• W3139046154 type Work @default.
• W3139046154 sameAs 3139046154 @default.
• W3139046154 citedByCount "0" @default.
• W3139046154 crossrefType "posted-content" @default.
• W3139046154 hasAuthorship W3139046154A5073211211 @default.
• W3139046154 hasConcept C110484373 @default.
• W3139046154 hasConcept C11413529 @default.
• W3139046154 hasConcept C118615104 @default.
• W3139046154 hasConcept C132525143 @default.
• W3139046154 hasConcept C137212723 @default.
• W3139046154 hasConcept C154690210 @default.
• W3139046154 hasConcept C171032842 @default.
• W3139046154 hasConcept C199360897 @default.
• W3139046154 hasConcept C202444582 @default.
• W3139046154 hasConcept C2781221856 @default.
• W3139046154 hasConcept C33923547 @default.
• W3139046154 hasConcept C39920170 @default.
• W3139046154 hasConcept C41008148 @default.
• W3139046154 hasConcept C54884031 @default.
• W3139046154 hasConcept C558772884 @default.
• W3139046154 hasConcept C65236422 @default.
• W3139046154 hasConcept C80899671 @default.
• W3139046154 hasConceptScore W3139046154C110484373 @default.
• W3139046154 hasConceptScore W3139046154C11413529 @default.
• W3139046154 hasConceptScore W3139046154C118615104 @default.
• W3139046154 hasConceptScore W3139046154C132525143 @default.
• W3139046154 hasConceptScore W3139046154C137212723 @default.
• W3139046154 hasConceptScore W3139046154C154690210 @default.
• W3139046154 hasConceptScore W3139046154C171032842 @default.
• W3139046154 hasConceptScore W3139046154C199360897 @default.
• W3139046154 hasConceptScore W3139046154C202444582 @default.
• W3139046154 hasConceptScore W3139046154C2781221856 @default.
• W3139046154 hasConceptScore W3139046154C33923547 @default.
• W3139046154 hasConceptScore W3139046154C39920170 @default.
• W3139046154 hasConceptScore W3139046154C41008148 @default.
• W3139046154 hasConceptScore W3139046154C54884031 @default.
• W3139046154 hasConceptScore W3139046154C558772884 @default.
• W3139046154 hasConceptScore W3139046154C65236422 @default.
• W3139046154 hasConceptScore W3139046154C80899671 @default.
• W3139046154 hasLocation W31390461541 @default.
• W3139046154 hasOpenAccess W3139046154 @default.
• W3139046154 hasPrimaryLocation W31390461541 @default.
• W3139046154 hasRelatedWork W1556652448 @default.
• W3139046154 hasRelatedWork W1701381474 @default.
• W3139046154 hasRelatedWork W173529017 @default.
• W3139046154 hasRelatedWork W1777459327 @default.
• W3139046154 hasRelatedWork W195403090 @default.
• W3139046154 hasRelatedWork W1992002681 @default.
• W3139046154 hasRelatedWork W2003970329 @default.
• W3139046154 hasRelatedWork W2267608904 @default.
• W3139046154 hasRelatedWork W2278964162 @default.
• W3139046154 hasRelatedWork W2288986295 @default.
• W3139046154 hasRelatedWork W2466873411 @default.
• W3139046154 hasRelatedWork W2780277129 @default.
• W3139046154 hasRelatedWork W2799039080 @default.
• W3139046154 hasRelatedWork W2804731575 @default.
• W3139046154 hasRelatedWork W2912810869 @default.
• W3139046154 hasRelatedWork W2913680752 @default.
• W3139046154 hasRelatedWork W3093457322 @default.

• next