ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
ダウンロード
ブラウザよりも高速アクセス!
 

アブストラクト・ナンセンス

索引 アブストラクト・ナンセンス

アブストラクト・ナンセンス(英:abstract nonsense、抽象的ナンセンス)とは、圏論におけるある種の概念や議論を表すのに数学者が好んで使う表現である。 この表現は数学者ノーマン・スティーンロッドによって作られたと信じられている。なおスティーンロッド自身、圏論的視点を築いた一人である。この表現は軽蔑的な称号というよりは、数学的(特に圏論的)にいかに洗練されているか、クールであるかを示すためにアブストラクト・ナンセンスの実践者自身によって用いられるものである。 数学におけるある種のアイデアや構成は多くの領域にわたって有効であり、圏論はそれらを統一的にとらえる枠組みを与える。そのような場合数学者は詳細の入り組んだ議論に立ち入らず、「何々はアブストラクト・ナンセンスにより真である」などとしてしまうのである。典型的な例としては図式追跡を用いた議論、普遍性の導入と応用、関手の自然変換の定義、米田の補題の利用、などなど。 他にも抽象的論法に対する批評でこれほどは好意的でないようなものが記録に残っているのだが、数学の隠語としての地位を獲得するには至っていない。例えば、ポール・ゴーダンは不変式論に於けるダフィット・ヒルベルトの証明をして「これは数学ではなく神学だ」などと述べている。.

11 関係: 圏論ナンセンス文学ダフィット・ヒルベルトクール神学米田の補題隠語自然変換数学数学者普遍性

圏論

圏論(けんろん、category theory)は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。 考えている種類の「構造」を持った対象とその構造を反映するような対象間の射の集まりからなる圏が基本的な考察の対象になる。 数学の多くの分野、また計算機科学や数理物理学のいくつかの分野で導入される一連の対象は、しばしば適当な圏の対象たちだと考えることができる。圏論的な定式化によって同種のほかの対象たちとの、内部の構造に言及しないような形式的な関係性や、別の種類の数学的な対象への関連づけなどが統一的に記述される。.

新しい!!: アブストラクト・ナンセンスと圏論 · 続きを見る »

ナンセンス文学

ナンセンス文学(ナンセンスぶんがく)あるいはノンセンス文学とは、有意味なものと無意味なものとを組み合わせて言葉を使う上での常識的な約束事や論理性を無視し、壊そうとするような文学の総称である。特に知られている歴史的な形式はナンセンス詩(Nonsense verse)だが、今日においては詩に限らず様々な形式の文学作品で表現されている。 「ナンセンス」の文学的な効果は、一般には意味の欠如よりも、しばしば意味の過剰によってもたらされる。「ナンセンス」の多くは本質的にはユーモアに属するが、それは「意味を成す」ことによって面白みが引き出される大多数のユーモアとは反対に、「意味を成さないこと」によって成立するユーモアである。.

新しい!!: アブストラクト・ナンセンスとナンセンス文学 · 続きを見る »

ダフィット・ヒルベルト

ーニヒスベルクにて私講師を務めていた頃(1886年) ヒルベルトの墓碑。「我々は知らねばならない、我々は知るだろう」と記されている。 ダフィット・ヒルベルト(David Hilbert,, 1862年1月23日 - 1943年2月14日)は、ドイツの数学者。「現代数学の父」と呼ばれる。名はダヴィット,ダヴィド、ダーフィットなどとも表記される。.

新しい!!: アブストラクト・ナンセンスとダフィット・ヒルベルト · 続きを見る »

クール

ール、Cool.

新しい!!: アブストラクト・ナンセンスとクール · 続きを見る »

神学

学(しんがく、英語:theology、ドイツ語:Theologie、ラテン語:theologia)は、信仰を前提とした上で、神をはじめとする宗教概念についての理論的考察を行う学問である。神道や仏教では、教学(きょうがく)や宗学(しゅうがく)と呼称することが多い。護教学(ごきょうがく)と呼ばれることもある文脈によっては、護教学という言葉は神学の立場を批判する意味を込めて用いられる。。各宗教ごとに存在するものではなく、自身の信仰について考察する学問として、一般的な神学が存在しうるとの理解も可能である一部のキリスト教大学の神学部では、信者以外の入学も認めており、神学部を卒業した仏教僧侶もいる。。Theologyの語源はギリシア語のθεολογια。θεος (神)および λογος(言葉)の合成語。「神についての議論(学問)」という意味。.

新しい!!: アブストラクト・ナンセンスと神学 · 続きを見る »

米田の補題

米田の補題(よねだのほだい、Yoneda lemma)とは、小さなhom集合をもつ圏 C について、共変hom関手 hom(A, -): C → Set から集合値関手 F: C → Set への自然変換と、集合である対象 F(A) の要素との間に一対一対応が存在するという定理である。名称は米田信夫に因む。.

新しい!!: アブストラクト・ナンセンスと米田の補題 · 続きを見る »

隠語

語(いんご)とは、ある特定の専門家や仲間内だけで通じる言葉や言い回しや専門用語のこと。外部に秘密がもれないようにしたり、仲間意識を高めたりするために使われる。.

新しい!!: アブストラクト・ナンセンスと隠語 · 続きを見る »

自然変換

数学の一分野である圏論において、自然変換(しぜんへんかん、natural transformation)は、ある函手をその圏に関する内部構造(即ち射の合成)を保ちながら別の函手に変形する方法を与えるものである。したがって直観的には、自然変換というのは「函手間の射」のことであると考えうる。このことは実際に、函手圏と呼ばれるものを定義することにより厳密に定式化することができる。圏論において自然変換の概念は、圏と函手に次いで最も基本的な概念であり、それ故に圏論を用いる議論の大部分に現れる。.

新しい!!: アブストラクト・ナンセンスと自然変換 · 続きを見る »

数学

数学(すうがく、μαθηματικά, mathematica, math)は、量(数)、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.

新しい!!: アブストラクト・ナンセンスと数学 · 続きを見る »

数学者

数学者(すうがくしゃ、mathematician)とは、数学に属する分野の事柄を第一に、調査および研究する者を指していう呼称である。.

新しい!!: アブストラクト・ナンセンスと数学者 · 続きを見る »

普遍性

数学の様々な分野において、ある特定の状況下にて一意に射を定めるような抽象的性質が、特定の構成を定義、あるいは特徴づけたりする事がしばしばある。このような性質を普遍性(universal property)と呼ぶ。普遍性は圏論を用いて抽象的に論考される。 結果として、我々は普遍性の一般的な扱い方を得ることになる。例えば、群の直積や直和、自由群、積位相, ストーン-チェックのコンパクト化, テンソル積, 逆極限 と 順極限, 核と余核, 引き戻し, 押し出し および イコライザ、など。.

新しい!!: アブストラクト・ナンセンスと普遍性 · 続きを見る »

出ていきます入ってきます
ヘイ!私たちは今、Facebook上です! »