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

Revised on September 4, 2010 17:56:11 by Toby Bartels (173.190.156.19)