Final (category theory)

See initial and final compared (category theory) for this definition and its dual side by side

Stub grade: A*

This page is a stub

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:

Created to move towards nets and generalised convergence/limits.

• Demote once examples and co are added

Definition

Let $\mathcal{C}$ be a category and let $S\in\text{Ob}(\mathcal{C})$ be any object of $\mathcal{C}$. Then $S$ is final (or terminal) in $\mathcal{C}$ if:

• For all $A\in\text{Ob}(\mathcal{C})$
  • there exists a unique morphism: $\xymatrix{A \ar[r] & S}$

See also

• initial