Category:Up-Complete Semilattices