Colimit: initial object

A initial object is a kind of colimit. Given a empty diagram, considered as a diagram in some category, a initial object is the colimit of that empty diagram in that category.

limits: empty diagram, 1, initial object

This data as json