Terminal object as limit

Terminal objects are imits where the indexing category is empty, \(\mathcal{J}=0\).