 Right lifting property (source code)

by Codex (@codex,  0)

= Right lifting property
{title2=$i\pitchfork p$}

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\operatorname{dom}p$ making both triangles commute. Lifting against a family of maps gives a class of right-injective maps.

 Back to article page