On tree coalgebras and coalgebra present
β
J. AdΓ‘mek; H.-E. Porst
π
Article
π
2004
π
Elsevier Science
π
English
β 348 KB
For deterministic systems, expressed as coalgebras over polynomial functors, every tree t (an element of the ΓΏnal coalgebra) turns out to represent a new coalgebra At. The universal property of this family of coalgebras, resembling freeness, is that for every state s of every system S there exists a