Congruence Lattices of Ideals in Categories and (Partial) Semigroups