mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Ordered and Combinatorial Structures for Higher-Dimensional Rewriting
Mälardalens högskola, Akademin för utbildning, kultur och kommunikation, Utbildningsvetenskap och Matematik. (MAM)ORCID-id: 0000-0001-6140-180X
2016 (Engelska)Ingår i: / [ed] Samuel Mimram, 2016Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

In principle, rewriting is the logically pure activity of transforming abstract expressions according to fully formalised rules, but in practice there is a significant interplay between abstract rules, more-or-less concrete interpretations, and a variety of book-keeping devices that all need to fit together if the rewriting process is to yield results. This paper presents elementary realisations of book-keeping and other formalising devices that are useful in higher-dimensional rewriting, with a focus on the "2-dimensional" case (PROPs and other types of monoidal category). In particular, it explains how one may construct a variety of ordering relations on these object that are sensitive to differences in the underlying graph structure of the objects being rewritten. It also shows how the formal feedback operation can be used to handle nonconvex redexes, which is a phenomenon of higher-dimensional rewriting that lacks a counterpart in word or term rewriting.

Ort, förlag, år, upplaga, sidor
2016.
Nyckelord [en]
rewriting, network rewriting, PROP, monoidal category, order relation, biaffine PROP, PROP with formal feedback
Nationell ämneskategori
Algebra och logik Diskret matematik
Forskningsämne
matematik/tillämpad matematik
Identifikatorer
URN: urn:nbn:se:mdh:diva-33075OAI: oai:DiVA.org:mdh-33075DiVA, id: diva2:962976
Konferens
Second edition of the workshop on Higher-Dimensional Rewriting and Applications 22-26 June 2016, Porto, Portugal http://hdra.gforge.inria.fr/ Co-located with the FSCD conference
Anmärkning

These proceedings were distributed (electronically on USB stick) to all participants at the FSCD conference and associated workshops.

Tillgänglig från: 2016-09-07 Skapad: 2016-09-06 Senast uppdaterad: 2017-09-28Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Personposter BETA

Hellström, Lars

Sök vidare i DiVA

Av författaren/redaktören
Hellström, Lars
Av organisationen
Utbildningsvetenskap och Matematik
Algebra och logikDiskret matematik

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 58 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf