Rewriting in operads and PROPs

• This paper is an informal collection of observations on how established rewriting techniques can be applied to or need to be adapted for use in non-associative algebras, operads, and PROPs.

Subject headings

NATURVETENSKAP  -- Matematik (hsv//swe)

NATURAL SCIENCES  -- Mathematics (hsv//eng)

Keyword

rewriting

operad

diamond lemma

universal algebra

PROP

Lie algebra

PROP

Lie algebra

universal algebra

diamond lemma

rewriting

operad

Publication and Content Type

ref (subject category)

kon (subject category)