小さい圏の圏と層 (数学)間の類似点
小さい圏の圏と層 (数学)は(ユニオンペディアに)共通で4ものを持っています: 射 (圏論)、圏 (数学)、圏論、自然変換。
射 (圏論)
数学の多くの分野において、型射あるいは射(しゃ、morphism; モルフィズム)は、ある数学的構造を持つ数学的対象から別の数学的対象への「構造を保つ」写像の意味で用いられる(準同型)。この意味での射の概念は現代的な数学のあらゆる場所で繰り返し生じてくる。例えば集合論における射は写像であり、線型代数学における線型写像、群論における群準同型、位相空間論における連続写像、… といったようなものなどがそうである。 圏論における射はこのような概念を広く推し進め、しかしより抽象的に扱うものである。考える数学的対象は集合である必要はないし、それらの間の関係性である射は写像よりももっと一般の何ものかでありうる。 射の、そして射がその上で定義される構造(対象)を調べることは圏論の中核を成す。射に関する用語法の多くは、その直観的背景でもある(対象が単に付加構造を備えた集合で、射がその構造を保つ写像であるような圏)に由来するものとなっている。また圏論において、圏を図式と呼ばれる有向グラフによって見る立場から、射は有向辺あるいは矢印 (arrow) と呼ばれることもある。.
射 (圏論)と小さい圏の圏 · 射 (圏論)と層 (数学) ·
圏 (数学)
数学の一分野である圏論において中核的な概念を成す圏(けん、category)は、数学的構造を取り扱うための枠組みであり、数学的対象をあらわす対象とそれらの間の関係を表す射の集まりによって与えられる。圏はそれ自体、群に類似した代数的構造として理解することができる 二つの圏が等しい(相等)とは、それらの対象の集まりが等しく、かつそれら対象の間の射の集まりが等しく、さらにそれら射の対の結合の仕方が相等となることを言う。圏論の目的に照らせば、圏がまったく相等しいことは非常に強すぎる条件であり(それよりも緩いでさえ強すぎる)、圏同値がしばしば考慮される(二つの圏が同値であるとは、大まかに言えば圏の相等において等式で与えられる関係を、それぞれの圏における同型で置き換えたものとして与えられる)。 圏論が初めて現れるのは Eilenberg–Mac Lane, "General Theory of Natural Equivalences" (1945) と題された論文である。古典的だが今もなお広く用いられる教科書として、マクレーンの がある。.
圏 (数学)と小さい圏の圏 · 圏 (数学)と層 (数学) ·
圏論
圏論(けんろん、category theory)は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。 考えている種類の「構造」を持った対象とその構造を反映するような対象間の射の集まりからなる圏が基本的な考察の対象になる。 数学の多くの分野、また計算機科学や数理物理学のいくつかの分野で導入される一連の対象は、しばしば適当な圏の対象たちだと考えることができる。圏論的な定式化によって同種のほかの対象たちとの、内部の構造に言及しないような形式的な関係性や、別の種類の数学的な対象への関連づけなどが統一的に記述される。.
自然変換
数学の一分野である圏論において、自然変換(しぜんへんかん、natural transformation)は、ある函手をその圏に関する内部構造(即ち射の合成)を保ちながら別の函手に変形する方法を与えるものである。したがって直観的には、自然変換というのは「函手間の射」のことであると考えうる。このことは実際に、函手圏と呼ばれるものを定義することにより厳密に定式化することができる。圏論において自然変換の概念は、圏と函手に次いで最も基本的な概念であり、それ故に圏論を用いる議論の大部分に現れる。.
上記のリストは以下の質問に答えます
- 何小さい圏の圏と層 (数学)ことは共通しています
- 何が小さい圏の圏と層 (数学)間の類似点があります
小さい圏の圏と層 (数学)の間の比較
層 (数学)が31を有している小さい圏の圏は、10の関係を有しています。 彼らは一般的な4で持っているように、ジャカード指数は9.76%です = 4 / (10 + 31)。
参考文献
この記事では、小さい圏の圏と層 (数学)との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください: