圏論 - Wikipedia

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

[tomomii]

もう少し易しくお願いします

[lotz84]

“1945年のS・アイレンベルグとS・マックレーンによる、代数的位相幾何学において直感的／組み合わせ的に定義されていたホモロジー・コホモロジーを公理化する研究の中で圏、関手および自然変換が実際に定義された。”

[Humisawa]

個々の要素よりも関係に着目する点で構造主義っぽいアプローチをとるらしい　“それぞれの圏における特別な対象は、他の対象とのあいだの射がどうなっているか、によって特徴づけることができる。”

[kattton]

あとで読みたい #ginzarb

[knmsyk]

圏論（けんろん、category theory）とは、代数的な構成の変換の自然さを形式化するために導入された理論である。の計算機科学の必要としていた手法をもたらすものであったため、現在まで有効に活用されている。

[sin16waki]

表示的意味論 - Wikipedia http://t.co/BKcDDOF9 :: 圏論 - Wikipedia

[prototechno]

これか…

[daiksy]

帰ってから読む

[todesking]

ふむー

[shiumachi]

"数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。考えている種類の「構造」を持った対象とその構造を反映するような対象間の射の集まりからなる圏が基本的な考察の対象になる"

[castle]

「圏論（category theory）は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つ。考えている種類の「構造」を持った対象とその構造を反映するような対象間の射の集まりからなる圏が考察の対象になる」

[tnomura9]

よくわからんけど、面白そう

[mirror_tomato]

背景の一行目からわけが分からなくなる。。