CatDat

Implication Details

Assumptions: cartesian closedinitial object

Conclusions: strict initial object

Reason: See the nLab.