[Merged by Bors] - doc(CategoryTheory): fix typo#39737

NoahW314 wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

NoahW314:projectiveResolutionNoahW314/mathlib4:projectiveResolutionCopy head branch name to clipboard