In a category , an object is weakly-terminal iff for every other object , there some morphism . Note that this differs from the definition of a terminal object in that need not be unique.
In a category , an object is weakly-terminal iff for every other object , there some morphism . Note that this differs from the definition of a terminal object in that need not be unique.