CatDat

strict terminal object

A strict terminal object is a terminal object 11 such that every morphism 1A1 \to A is an isomorphism. This property refers to the existence of a strict terminal object.

Relevant implications

Examples

Counterexamples

Unknown

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