CatDat

pointed

A category is pointed when it has a zero object, i.e. an object which is both initial and terminal.

Relevant implications

Examples

Counterexamples

Unknown

For these categories the database has no info if they satisfy this property or not.