加法圏
本はありません。