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.