圏$\mathscr{C}$に於ける図式$\mathscr{I}$上の極限は，$\mathscr{I}$上の$\mathscr{C}$に値を取る錐の圏の終対象ですね．
A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.
