問題は、非常に実用的な答え(特定のアプリケーション)を期待しながら、抽象的な数学的概念(カテゴリー理論)について尋ねることです。すべての敬意をもって、これは非現実的な期待だと思います。
数学の抽象的な概念は、アプリケーションではなくプログラミング言語の基礎の一部です。たとえば、データ型はプログラミングの中心です。すべての言語には、何らかの形式のデータ型があり、型システムを実装しています。静的か動的か、強いか弱いか、明示的か暗黙的かなどです。しかし、標準はありません。
したがって、多くのコンピューター科学者は、カテゴリー理論を使用して統一型システムを定義しようと試みてきました。例えば萩野さんのために参照してください言語プログラミングカテゴリ(1987)とチャリティー(1996)、その後、ML(2003)、CAML、およびハスケルの種類の「Haskellのカテゴリ」を定義もちろん、およびHaskellの関数は、タイプの射ています...
これは、型理論がカテゴリー理論と密接に関連しているためです。JL Bellを引用すると、「カテゴリー自体は特定の種類の型理論と見なすことができます...したがって、型理論は集合論よりもカテゴリー理論にはるかに密接に関連しています...大まかに言えば、カテゴリーは型理論がその構文の足かせとして」たとえば、デカルトの閉じたカテゴリは型付きの λ計算に対応し、Cモノイドは型なしの λ計算に対応することが示されています...
私は圏論があるとは思わない、必要なプログラミングのあらゆるタイプのために、それはある非常に便利なツール ESPプログラミング言語の設計と実装では、と。本質的に数学的なもの。そのため、関数型プログラミングはカテゴリ型プログラミングとしてよく引用され、上記のすべてのプログラミング言語はFP言語です。
トピックへの推奨される導入は、BC Pierce(1988)による「コンピューター科学者のためのカテゴリー理論の味」です。これとその他の有用な情報は、mathoverflowに関する同様の議論で見つかりました。