Definition:Universal Object

This page is about Universal Object in the context of Category Theory. For other uses, see Universal.

Definition

Let $C$ be a category.

A universal object of $C$ is an object that is initial or terminal.

Also see

• Definition:Universal Property
• Definition:Universal Morphism