圏論（けんろん、英: category theory）は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。サミュエル・アイレンベルグ と ソーンダース・マックレーンとによって代数的位相幾何学の基本的仕事の中で20世紀中ごろに導入された。圏論において考察の対象となる圏は対象とその間の射からなる構造であり、集合とその間の写像、あるいは要素とその間の関係（順序など）が例として挙げられる。 数学の多くの分野、また計算機科学や数理物理学のいくつかの分野で導入される一連の対象は、しばしば適当な圏の対象たちだと考えることができる。圏論的な定式化によって同種のほかの対象たちとの、内部の構造に言及しないような形式的な関係性や、別の種類の数学的な対象への関連づけなどが統一的に記述される。 概要[編集] 圏の研究は、関連する様々なクラスの数学的構造に共通する性質を見出そうとする試みだといえる。

数学の哲学において、直観主義（ちょっかんしゅぎ、英: Intuitionism）とは、数学の基礎を数学者の直観におく立場のことを指す。 来歴と評価[編集] これに類する主張は、カントールの集合論に対抗する形でクロネッカーやポアンカレによってもなされていたが、最も明確に表明したのはオランダの位相幾何学者ブラウワーである。ブラウワーの立場に対してポアンカレらの立場は前直観主義と言われることがある。ブラウワーは、数学的概念とは数学者の精神の産物であり、その存在はその構成によって示されるべきだという立場から、無限集合において背理法によって非存在の矛盾から存在を示す証明を認めなかった。それゆえ、無限集合において「排中律」、すなわちある命題は真であるか偽であるかのどちらかであるという推論法則を捨てるべきだと主張し、ヒルベルトとの間に有名な論争を引き起こした。 ヒルベルトの形式主義は、直接的にはブラウワ

JM Project について JM Project は日本語オンラインマニュアルパッケージの作成、 配布を行なっているプロジェクトです。 このプロジェクトにおける仕事には man page の翻訳・校正 man page package の編集と配布 (RPM/SRPM 配布) man コマンド等周辺環境の整備 などがあります。また今後の課題としては、 翻訳済み man page の収集 上流への連絡と、必要に応じて翻訳配布許可の明示的な取得 上流パッケージへの翻訳のマージ が挙げられます。 活動の詳細や JM への参加方法については JM 翻訳作業の手引き をご覧ください。 なおメールが配送されなくなったメンバーは、 配送エラー一覧 を確認してください。 バグレポートをお寄せください JM Project で配布しているマニュアルに関して、 誤字・誤訳その他お気づきの点がありましたら、