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 using the smash product as tensor, (but not necessarily the other way around).

Remarks

Revised on June 19, 2014 20:19:16 by Colin Zwanziger (174.63.87.107)