𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Types and coalgebraic structure

✍ Scribed by H. Peter Gumm; Tobias Schröder

Publisher
Springer
Year
2005
Tongue
English
Weight
275 KB
Volume
53
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Structurable coalgebras
Structurable coalgebras
✍ V. N. Zhelyabin 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 465 KB
On tree coalgebras and coalgebra present
On tree coalgebras and coalgebra presentations
✍ 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

Coalgebraic Monads
Coalgebraic Monads
✍ Neil Ghani; Christoph Lüth; Federico De Marchi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 298 KB
Combinatorial Models for Coalgebraic Str
Combinatorial Models for Coalgebraic Structures
✍ Nigel Ray; William Schmitt 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 624 KB

We introduce a convenient category of combinatorial objects, known as cell-sets, on which we study the properties of the appropriate free abelian group functor. We obtain a versatile generalization of the notion of incidence coalgebra, giving rise to an abundance of coalgebras, Hopf algebras, and co