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 |