Dagger extension theorem (Q3094166)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Dagger extension theorem |
scientific article; zbMATH DE number 5961490
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Dagger extension theorem |
scientific article; zbMATH DE number 5961490 |
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
0.69319564
0 references
0.6931928
0 references
0.6918463
0 references
0.67528015
0 references
0.6735268
0 references
0 references
