Category Projective object Let be a category. An object is said to be projective iff it has the following (left) lifting property against epimorphisms: For any morphism and epimorphism , there exists a factorization so that . cat Equivalently, the covariant hom-functor preserves epimorphisms. See also Projective module, the original case. Injective object, the dual notion. tidy | en | sembr
