Post Made Community Wiki by Scott Morrison
show/hide this revision's text 1

Initial or terminal objects in categories.

Eg: The integers ${\mathbb{Z}}$ are initial in the category of rings.