projective object

1. Definition

Let 20230727-projective_object_760824120891fc757bc0445145b027d09b237baa.svg be a category and 20230727-projective_object_a7ec324f5a18778958bf2a9260636057ed8f72fa.svg. Then 20230727-projective_object_cd0ff9796d5d44181802247ecadcd48ba7fe30fc.svg is a projective object if it has the left lifting property against epimorphisms

20230727-projective_object_27cfde32524d336da07df402613e50595e54843d.svg

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 15:29