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