Finitary coalgebraic multisemilattices and multilattices

摘要

In this paper we continue the coalgebraization of the structure of multilattice. Specifically, we introduce a coalgebraic characterization of the notion of finitary multi (semi) lattice, a generalization of that of semilattice which arises naturally in several areas of computer science and provides the possibility of handling non-determinism.