準半加法圏 → 優半加法圏 ： ヤコビ微分圏の下部構造

ヤコビ微分圏： はじまり - 檜山正幸のキマイラ飼育記 (はてなBlog) で、準半加法圏と書いていたが、優半加法圏にしようと思う。

理由は、半加法圏に対して「なにか足りてない」のではなくて、内部に半加法圏をホストする親の圏だから、「優〈super〉」がいいと思うので。

• 優半加法圏〈sumper semiadditive category〉

[追記]優半加法圏もやめるかも知れない。ラムダ計算が載っているから、「ラムダ」を付けたほうがいい気がしてきた。[/追記]