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.