Definition:Universal Object

From ProofWiki
Jump to navigation Jump to search

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


Sources