Pointed category (source code)

= Pointed category
{wiki}

A pointed category has a <zero object>, hence a distinguished zero morphism between every pair of objects.