CatDat

Implication Details

Assumptions: initial object, strongly connected, terminal object

Conclusions: pointed

Reason: By assumption there is a morphism $1 \to 0$. There is also a unique morphism $0 \to 1$. They are necessarily inverse to each other.