Limit: terminal object

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

limits: empty diagram, 0, terminal object

This data as json

diagram is_colimit construction
empty diagram 0 terminal object