カテゴリ理論と線形論理が出カテゴリ理論と線形論理が出会うまれる。2つの数学の分野の関係から新しい洞察が生カテゴリー理論低次元カテゴリー理論と微分線形論理の接続この記事は二つの数学の分野のつながりを調べて、理解を深めることを目的にしてるよ。2025-07-27T21:14:56+00:00 ― 1 分で読む