Category of complete join-semilattices (source code)

= Category of complete join-semilattices
{title2=$\mathbf{CSLat}$}

The category $\mathbf{CSLat}$ has complete join-semilattices as objects and arbitrary-join-preserving maps as morphisms. Taking opposite orders and right adjoints gives an involutive self-duality.