- Tytuł:
- On covariety lattices
- Autorzy:
- Brengos, Tomasz
- Powiązania:
- https://bibliotekanauki.pl/articles/728796.pdf
- Data publikacji:
- 2008
- Wydawca:
- Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
- Tematy:
-
coalgebra
covariety
coalgebraic logic - Opis:
- This paper shows basic properties of covariety lattices. Such lattices are shown to be infinitely distributive. The covariety lattice $L_{CV}(K)$ of subcovarieties of a covariety K of F-coalgebras, where F:Set → Set preserves arbitrary intersections is isomorphic to the lattice of subcoalgebras of a $P_κ$-coalgebra for some cardinal κ. A full description of the covariety lattice of Id-coalgebras is given. For any topology τ there exist a bounded functor F:Set → Set and a covariety K of F-coalgebras, such that $L_{CV}(K)$ is isomorphic to the lattice (τ,∪,∩) of open sets of τ.
- Źródło:
-
Discussiones Mathematicae - General Algebra and Applications; 2008, 28, 2; 179-191
1509-9415 - Pojawia się w:
- Discussiones Mathematicae - General Algebra and Applications
- Dostawca treści:
- Biblioteka Nauki
Artykuł