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!