Category of complete join-semilattices
ID: category-of-complete-join-semilattices
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.
New to topics? Read the docs here!