Commit 2024-10-29 22:45 39a385b5

View on Github →

feat(CategoryTheory/Comma): limit properties of subcategories defined by morphism properties (#18134) We show that under suitable assumptions on P the full subcategory of Over X defined by P has terminal objects and pullbacks.

Estimated changes