結局、米田の補題って、いろんな圏も集合圏に還元できることとそのための
機械的手順を言ったものなのか？