Category:Join Semilattice Ideals