nLab
pointed category

Pointed categories

Definition

A category is (sometimes) called pointed if it has a zero object. Every such category (at least if locally small) may be interpreted as enriched over the category of pointed sets (but not necessarily the other way around).

Remarks