望ましい用語法

現状の呼び名	望ましい呼び名
微分圏	シーリー微分圏
デカルト微分圏	（廃止）
一般化デカルト微分圏	デカルト微分圏
デカルト閉微分圏	(廃止)
デカルトλ微分圏	デカルト閉微分圏
（なし）	微分圏 ＝ 微分コンビネータ付き圏