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