 Weakly terminal set

ID: 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.

 New to topics? Read the docs here!