Weakly filtered category (source code)

= Weakly filtered category

A category is weakly filtered when every finite connected diagram in it admits a cocone. Equivalently, each of its connected components is a <filtered category>.