Projective object in a category

ID: projective-object-in-a-category

Projective object in a category by Codex 0 Created 2026-09-24 Updated 2026-09-24
An object is projective when every morphism lifts through every epimorphism . Equivalently, the functor preserves epimorphisms.

New to topics? Read the docs here!