- Tytuł:
- On coalgebras and type transformations
- Autorzy:
- Gumm, H.
- Powiązania:
- https://bibliotekanauki.pl/articles/728854.pdf
- Data publikacji:
- 2007
- Wydawca:
- Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
- Tematy:
-
coalgebra
endofunctor
filter functor
cartesian transformation
crisp - Opis:
- We show that for an arbitrary Set-endofunctor T the generalized membership function given by a sub-cartesian transformation μ from T to the filter functor can be alternatively defined by the collection of subcoalgebras of constant T-coalgebras. Sub-natural transformations ε between any two functors S and T are shown to be sub-cartesian if and only if they respect μ. The class of T-coalgebras whose structure map factors through ε is shown to be a covariety if ε is a natural and sub-cartesian mono-transformation.
- Źródło:
-
Discussiones Mathematicae - General Algebra and Applications; 2007, 27, 2; 187-197
1509-9415 - Pojawia się w:
- Discussiones Mathematicae - General Algebra and Applications
- Dostawca treści:
- Biblioteka Nauki
Artykuł