他の分野への影響
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 11:49 UTC 版)
圏論的論理学は、直観主義的論理のために型理論に基づいて定義された。この分野はさらに関数型プログラミングの理論および領域理論に応用されている。これらは全て、ラムダ計算の非構文的な記述として適用されたデカルト閉圏を背景としている。圏論的言語を用いることで、関連する分野が厳密に、(抽象的な意味で)何を共有しているのかを明らかにすることができる。 代数的位相幾何学では空間の連続写像そのものよりも、そのホモトピー類を考えたほうがよいことがある。これは対応する圏を「変形」してホモトピー類を射として採用することにより圏論的に定式化できる。そこで、複体の射や位相線形環の準同型についてもこのような圏の変形を見いだし理解することが 20 世紀後半におけるほかの種類の「幾何学」の大きな問題意識となった。 20 世紀の半ば以降アレクサンドル・グロタンディークらによって代数幾何学の圏論的な定式化が追求された。 正標数体上の数論幾何や、非可換環が「図形」を表していると考える非可換幾何などの非標準的な「幾何学」は、幾何学的な関手の構成可能性をもってそう名乗っている、という側面もある。
※この「他の分野への影響」の解説は、「圏論」の解説の一部です。
「他の分野への影響」を含む「圏論」の記事については、「圏論」の概要を参照ください。
- 他の分野への影響のページへのリンク