定義 射のレトラクト が可換で、、のとき、はのレトラクトという。 定義 リフト が可換のとき、があって図が可換なままであれば、をリフトという。 このとき、はに対して左リフト性（LLP）があるといい、 はに対して右リフト性（RLP）があるという。 定義 モ…