# 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)