Commit 2025-12-19 11:46 163c1f35
View on Github →chore(CategoryTheory): generalize subpresheaf to subfunctor (#32746)
This is a direct generalization in the definition, which previously took a presheaf Cᵒᵖ ⥤ Type w as an argument, but now takes a functor C ⥤ Type w. Parts of the API could be directly generalized, other parts we keep only for presheaves for now. We rename Subpresheaf to Subfunctor.