No label defined (Q4466657)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2070402
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 2070402 |
Statements
8 June 2004
0 references
coalgebras
0 references
terminal objects
0 references
categories
0 references
trees
0 references
0.7808754444122314
0 references
0.7716848254203796
0 references
0.7689324021339417
0 references
0.7584497332572937
0 references
In the case of polynomial functors, the terminal object of the category of all \(\Sigma\)-coalgebras for a bounded signature \(\Sigma\) can be constructed as a coalgebra of \(\Sigma\)-trees. The authors present a direct proof of this fact and describe the unique morphism from any given \(\Sigma\)-coalgebra to the terminal coalgebra. For the entire collection see [Zbl 1034.08002].
0 references
