CatDat

Implication Details

Assumptions: pointed

Conclusions: initial objectzero morphisms

This is an equivalence.

Reason: This is easy.