left/right exact functor is a functor that preserves finite limits/finite colimits. 左完全 有限極限を保つ 右完全 有限余極限を保つ 連続関手、余連続関手なんてのもあって、 有限連続関手＝右完全関手 有限余連続関手＝右完全関手