Moreover, the pullback (P, p1, p2) must be universal with respect to this diagram.
并且拉回(P, p1, p2)对这个图表必须是通用的。