Pointed category 2026-09-28
A pointed category has a zero object, hence a distinguished zero morphism between every pair of objects.