aとbをアーベル圏とし、aからbへの関手を対象とする関手圏baを考える。