Property |
Value |
dbo:abstract
|
- 数学において普遍性(英語: universality、または universal property)とは、ある特定の状況下において一意に射(あるいは準同型、構造を保つ写像)を定めるような抽象的性質で、それが特定の構成(例えば直積や直和、加群のテンソル積、距離空間の完備化など)を特徴づけるようなものをいう。 普遍性の具体例となる構成には他にも、様々な構成における、核や余核、順極限および逆極限、群に対するアーベル化、集合や様々な空間に対する引き戻しや(英語: pushout)、ストーン-チェックのコンパクト化などが存在する。 このような構成は個別の数学の分野において議論されていたが、横断的な議論を試みたのは1948年のピエール・サミュエル (en:Pierre Samuel) の論文によって初めて行われ、その後ブルバキによって広められたとされる。 (ja)
- 数学において普遍性(英語: universality、または universal property)とは、ある特定の状況下において一意に射(あるいは準同型、構造を保つ写像)を定めるような抽象的性質で、それが特定の構成(例えば直積や直和、加群のテンソル積、距離空間の完備化など)を特徴づけるようなものをいう。 普遍性の具体例となる構成には他にも、様々な構成における、核や余核、順極限および逆極限、群に対するアーベル化、集合や様々な空間に対する引き戻しや(英語: pushout)、ストーン-チェックのコンパクト化などが存在する。 このような構成は個別の数学の分野において議論されていたが、横断的な議論を試みたのは1948年のピエール・サミュエル (en:Pierre Samuel) の論文によって初めて行われ、その後ブルバキによって広められたとされる。 (ja)
|
dbo:thumbnail
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 9645 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-ja:dd
|
- 圏 の対象 の普遍性は、表現可能関手 と、米田の補題を通して自然同型 (または )を定める普遍要素() によって表現されるものである。 (ja)
- (ここで Set とは集合の圏のことである。) (ja)
- 圏 の対象 の普遍性は、表現可能関手 と、米田の補題を通して自然同型 (または )を定める普遍要素() によって表現されるものである。 (ja)
- (ここで Set とは集合の圏のことである。) (ja)
|
prop-ja:dt
| |
prop-ja:wikiPageUsesTemplate
| |
dct:subject
| |
rdfs:comment
|
- 数学において普遍性(英語: universality、または universal property)とは、ある特定の状況下において一意に射(あるいは準同型、構造を保つ写像)を定めるような抽象的性質で、それが特定の構成(例えば直積や直和、加群のテンソル積、距離空間の完備化など)を特徴づけるようなものをいう。 普遍性の具体例となる構成には他にも、様々な構成における、核や余核、順極限および逆極限、群に対するアーベル化、集合や様々な空間に対する引き戻しや(英語: pushout)、ストーン-チェックのコンパクト化などが存在する。 このような構成は個別の数学の分野において議論されていたが、横断的な議論を試みたのは1948年のピエール・サミュエル (en:Pierre Samuel) の論文によって初めて行われ、その後ブルバキによって広められたとされる。 (ja)
- 数学において普遍性(英語: universality、または universal property)とは、ある特定の状況下において一意に射(あるいは準同型、構造を保つ写像)を定めるような抽象的性質で、それが特定の構成(例えば直積や直和、加群のテンソル積、距離空間の完備化など)を特徴づけるようなものをいう。 普遍性の具体例となる構成には他にも、様々な構成における、核や余核、順極限および逆極限、群に対するアーベル化、集合や様々な空間に対する引き戻しや(英語: pushout)、ストーン-チェックのコンパクト化などが存在する。 このような構成は個別の数学の分野において議論されていたが、横断的な議論を試みたのは1948年のピエール・サミュエル (en:Pierre Samuel) の論文によって初めて行われ、その後ブルバキによって広められたとされる。 (ja)
|
rdfs:label
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is owl:sameAs
of | |
is foaf:primaryTopic
of | |