アーベル圏わかってなくても米田の補題わかるのかもしれないけど、論理なんちゃらだったら
ラムダ計算の簡約？か何か表現するときに使うんでしょ多分。しらないんで間違ってるなら教えてほしいんだけど。
そこらへんどういう風に使うのかわからないとどう考えても意味ないし。