Commit 2026-03-24 13:52 56426531
View on Github →feat(CategoryTheory/ObjectProperty/Retract): Retracts and biproducts/zeros (#37081) Bicones and zeros are always retracts, hence if an object property is stable under retracts, it is also is stable under taking summands. This is used in the definition of strong generators in #37046