A complete join-semilattice is a poset with joins of all families, including the empty family. A morphism preserves arbitrary joins.
The category has complete join-semilattices as objects and arbitrary-join-preserving maps as morphisms. Taking opposite orders and right adjoints gives an involutive self-duality.
Articles by others on the same topic
There are currently no matching articles.