𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Continuous families of coalgebras

✍ Scribed by F. Marmolejo


Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
941 KB
Volume
130
Category
Article
ISSN
0022-4049

No coin nor oath required. For personal study only.

✦ Synopsis


Given a small pretopos P, we consider the category %~ob(P) of models of P indexed over topological spaces. By considering indexed categories of coalgebras, we show that for any indexed functor F : YJIO~( P) + IUlob( Q), where Q is another small pretopos, the functor F' : Mod(P) + Mod(Q) preserves filtered colimits.


πŸ“œ SIMILAR VOLUMES


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

Semiperfect coalgebras
✍ Bertrand I-peng Lin πŸ“‚ Article πŸ“… 1977 πŸ› Elsevier Science 🌐 English βš– 971 KB
Coproper coalgebras
✍ H.P Allen; D Trushin πŸ“‚ Article πŸ“… 1978 πŸ› Elsevier Science 🌐 English βš– 669 KB
Stone Coalgebras
✍ Clemens Kupke; Alexander Kurz; Yde Venema πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 235 KB