Commit 2025-09-21 12:54 5de5f947
View on Github →feat(CategoryTheory): define internally projective objects (#29822) This PR defines internal projectivity and proves that a retract of an internally projective object is internally projective
feat(CategoryTheory): define internally projective objects (#29822) This PR defines internal projectivity and proves that a retract of an internally projective object is internally projective