思い付き、要検証。Cがデカルト・モノイド圏で、Qもデカルト圏とする。L:C→Q、U:Q→C はモノイド積を厳密に保存する関手、Uは忠実関手とする。Uは忘却関手だとみなす。さらに、次の閉包条件を課す。 L(U(L(A))) = L(A) L(A)をAの擬線形閉包と呼ぶことにする。…

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