Commit 2025-12-04 09:22 530f3dce
View on Github →feat(CategoryTheory): prerequisites for the characterization of locally presentable categories using strong generators (#32034) Various basic results are added so as to prepare for #30241.
feat(CategoryTheory): prerequisites for the characterization of locally presentable categories using strong generators (#32034) Various basic results are added so as to prepare for #30241.