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
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