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