昨日の記事「快適な微分計算のための圏と微分公式」の最後の節でヤコビ微分圏に触れました。ヤコビ微分圏は、2年以上前（2017年春）に考えたけど、チョット書いただけでソレッキリでした。 ヤコビ微分圏： はじまり 2017年の記事の続き（ヤコビ微分圏 第2回）を書きます。ヤコビ微分圏の下部構造である圏について述べます。内容： 微分圏の下部構造 芯付きラムダ圏： 動機と由来 デカルト構造と半加法構造 半加法芯付きデカルト圏の実例 芯付きラムダ構造 芯付きラムダ計算 関連する記事： (…