# Commit 2021-03-29 13:12 318cb4bc

View on Github →feat(category_theory): essentially_small categories (#6801)
Preparation for `well_powered`

, then for `complete_semilattice_Inf|Sup`

on `subobject X`

, then for work on chain complexes.

feat(category_theory): essentially_small categories (#6801)
Preparation for `well_powered`

, then for `complete_semilattice_Inf|Sup`

on `subobject X`

, then for work on chain complexes.