Weakly initial set
= Weakly initial set
A weakly initial set is a <set> of objects $(W_i)$ of a <category> such that every object receives at least one <morphism> from some $W_i$. No uniqueness is required. A <solution-set condition> asserts this property in suitable <comma categories>.