Pointed category

ID: pointed-category

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

New to topics? Read the docs here!