Let be a category, be a subcollection of morphisms and
be morphisms for objects .
Then has the right lifting property with respect to if for each diagram
there exists
Date: nil
Author: Anton Zakrewski
Created: 2024-10-15 Di 23:14
be a 
be a subcollection of 
.
has the right lifting property with respect to 
if for each diagram 
