淡中圏
ニュートラル淡中圏とは、K-ベクトル空間の圏への忠実充満なK-テンソル関手を備えたリジッド-アーベル-テンソル圏である。