餘極限
colimit
極限 (圏論) - Wikipedia#余極限
順極限。直極限 (direct limit)。歸納極限 (inductive limit)
$ \lim_\to
帰納極限 - Wikipedia
圈論的雙對
は
極限 (圈)