CADG（Categorical Abstract Differential Geometry）の練習問題として、ヤコビ微分圏というモノを考えてます。ヤコビ微分圏は、通常の多変数微分計算のエッセンスを圏論的に取り出したものです。ヤコビ微分圏を考えるに至った動機やご利益について語ります…