#
nLab

weakly initial object

# Contents

## Definition

An object in a category is **weakly initial** if there is a morphism from it to every other object, and initial if this morphism is unique.

This is an instance of a weak colimit. It is also an instance of a weakly initial set that happens to be a singleton set.

## References

Last revised on January 8, 2019 at 06:47:39.
See the history of this page for a list of all contributions to it.