A weakly initial set is a set of objects of a category such that every object receives at least one morphism from some . No uniqueness is required. A solution-set condition asserts this property in suitable comma categories.
New to topics? Read the docs here!