Initial and final compared (category theory)

This page shows Initial and Final side by side, for more details on each see their respective pages.

Stub grade: B

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:

Fits stub definition

Definition

Let $\mathcal{C}$ be a category and let $S\in\text{Ob}(\mathcal{C})$, then we say $S$ is:

Initial	Final
if for each $A\in\text{Ob}(\mathcal{C})$ there exists a unique morphism:
$\xymatrix{S \ar[r] & A}$	$\xymatrix{A \ar[r] & S}$