Dagger extension theorem (Q3094166)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dagger extension theorem |
scientific article |
Statements
Dagger extension theorem (English)
0 references
21 October 2011
0 references
\(\Sigma\)-tree
0 references
(Conway) semiring
0 references
coproduct
0 references
dagger theory
0 references
fixed-point identity
0 references
grove theory
0 references
Lawvere theory
0 references
partial Conway theory
0 references
partial iteration theory
0 references
partial iterative theory
0 references
partial matrix theory
0 references
ranked alphabet
0 references
scalar morphism
0 references
(two-sided) ideal
0 references
