Weakly terminal set (source code)

= Weakly terminal set

A weakly terminal set is a <set> of objects $(W_i)$ of a <category> such that every object admits at least one <morphism> into some $W_i$. It is the dual of a <weakly initial set>.