On the ambiguation of Polish notation (Q549208): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:36, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the ambiguation of Polish notation |
scientific article |
Statements
On the ambiguation of Polish notation (English)
0 references
7 July 2011
0 references
Unique reading theorems for Polish notation show how structure of terms in this notation can be recovered. The author proposes another interpretation strategy: the free monoid of all strings is interpreted in a certain semantic algebra which also is a monoid. To construct the latter, the author introduces the notion of Polish composition over a category; under one extra condition, this composition is essentially an extension of the partial composition operation \(g \circ f\) to the cases where codomain of \(f\) differs from the domain of \(f\). The language of category theory is used throughout the study; the reader is supposed to have some knowledge of basic category theory. However, the main tool, strictly r-monoidal categories, is explained in the paper.
0 references
monoid
0 references
monoidal category
0 references
Polish composition
0 references
Polish notation
0 references
unique reading
0 references
pushout
0 references