structural:expansion, quality:corruption
Relation to other categorical constructions

Many natural constructions in category theory can be formulated in terms of finding an initial or terminal object in a suitable category.