小余極限
small colimit
summary.icon
添字圏
が
小さい圏
である
余極限
dual.icon
小極限