 Right lifting property

A map $p$ has the right lifting property against $i:A\to B$ when every commutative square with $i$ on the left and $p$ on the right has a diagonal $B\to \mathrm{dom}p$ making both triangles commute. Lifting against a family of maps gives a class of right-injective maps.