avoid double negative in the domain of Op p, now Op = Yoneda