23/12/13 16:08:19.81 BJtZkva3.net
>>441
> デイナ・スコットって人、知ってますか？
圏論 Steve Awodeyに、書いてあったと思う>>438
というか、それでデイナ・スコットを知った
> 領域理論
>URLﾘﾝｸ(ja.wikipedia.org)
いつも指摘しているが、英語版を併読するのが正解ですよ
URLﾘﾝｸ(en.wikipedia.org) ね
すると、”See also Category theory”とある
Category theory には、下記引用の通りで
”数学の基礎として公理的な集合論の代替として機能する”
”カテゴリ論理は現在、直観主義論理の型理論に基づいて明確に定義された分野”です
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Category theory （google訳添付）
Certain categories called topoi (singular topos) can even serve as an alternative to axiomatic set theory as a foundation of mathematics. A topos can also be considered as a specific type of category with two additional topos axioms. These foundational applications of category theory have been worked out in fair detail as a basis for, and justification of, constructive mathematics. Topos theory is a form of abstract sheaf theory, with geometric origins, and leads to ideas such as pointless topology.
トポイ(単数形トポス)と呼ばれる特定のカテゴリーは、数学の基礎として公理的な集合論の代替として機能することもあります。トポスは、2 つの追加のトポス公理を備えた特定のタイプのカテゴリーと考えることもできます。圏論のこれらの基礎的な応用は、構成的数学の基礎および正当化として、かなり詳細に研究されてきました。トポス理論は抽象層理論の一形態であり、幾何学的な起源を持ち、pointlessトポロジーなどのアイデアにつながります。
Categorical logic is now a well-defined field based on type theory for intuitionistic logics, with applications in functional programming and domain theory, where a cartesian closed category is taken as a non-syntactic description of a lambda calculus. At the very least, category theoretic language clarifies what exactly these related areas have in common (in some abstract sense).
カテゴリ論理は現在、直観主義論理の型理論に基づいて明確に定義された分野であり、関数プログラミングやドメイン理論に応用されており、デカルト閉カテゴリがラムダ計算の非構文記述として扱われます。少なくとも、圏論言語は、これらの関連領域に（抽象的な意味で）正確に何が共通しているのかを明らかにします。