Property |
Value |
dbo:abstract
|
- 圏論という数学の分野において,双対性(そうついせい,英: duality)は圏 C の性質と反対圏 Cop の双対的な性質の間の対応である.圏 C についてのステートメントが与えられると,各射のと終域を入れ替え,2つの射の合成の順序を入れ替えることによって,反対圏 Cop についての対応する双対命題が得られる.双対性は,そのようなものとして,ステートメントに関するこの操作の下で正しさが不変であるという主張である.言い換えると,あるステートメントが C について正しければ,その双対のステートメントは Cop について正しい.また,あるステートメントが C について間違いならば,その双対のステートメントは Cop について間違いである. C が与えられたとき,その反対圏 Cop はしばしばそれ自体が抽象的である.Cop は数学的実践から生じる圏である必要はない.この場合,別の圏 D と Cop が圏として同値であるとき,D も C と双対にあると言われる. C とその反対圏 Cop が同値であるとき,そのような圏は自己双対 (self-dual) である. (ja)
- 圏論という数学の分野において,双対性(そうついせい,英: duality)は圏 C の性質と反対圏 Cop の双対的な性質の間の対応である.圏 C についてのステートメントが与えられると,各射のと終域を入れ替え,2つの射の合成の順序を入れ替えることによって,反対圏 Cop についての対応する双対命題が得られる.双対性は,そのようなものとして,ステートメントに関するこの操作の下で正しさが不変であるという主張である.言い換えると,あるステートメントが C について正しければ,その双対のステートメントは Cop について正しい.また,あるステートメントが C について間違いならば,その双対のステートメントは Cop について間違いである. C が与えられたとき,その反対圏 Cop はしばしばそれ自体が抽象的である.Cop は数学的実践から生じる圏である必要はない.この場合,別の圏 D と Cop が圏として同値であるとき,D も C と双対にあると言われる. C とその反対圏 Cop が同値であるとき,そのような圏は自己双対 (self-dual) である. (ja)
|
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 3360 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-ja:title
|
- Duality (ja)
- Dual category (ja)
- Duality principle (ja)
- Duality (ja)
- Dual category (ja)
- Duality principle (ja)
|
prop-ja:urlname
|
- Duality (ja)
- Dual_category (ja)
- Duality_principle (ja)
- Duality (ja)
- Dual_category (ja)
- Duality_principle (ja)
|
prop-ja:wikiPageUsesTemplate
| |
dct:subject
| |
rdfs:comment
|
- 圏論という数学の分野において,双対性(そうついせい,英: duality)は圏 C の性質と反対圏 Cop の双対的な性質の間の対応である.圏 C についてのステートメントが与えられると,各射のと終域を入れ替え,2つの射の合成の順序を入れ替えることによって,反対圏 Cop についての対応する双対命題が得られる.双対性は,そのようなものとして,ステートメントに関するこの操作の下で正しさが不変であるという主張である.言い換えると,あるステートメントが C について正しければ,その双対のステートメントは Cop について正しい.また,あるステートメントが C について間違いならば,その双対のステートメントは Cop について間違いである. C が与えられたとき,その反対圏 Cop はしばしばそれ自体が抽象的である.Cop は数学的実践から生じる圏である必要はない.この場合,別の圏 D と Cop が圏として同値であるとき,D も C と双対にあると言われる. C とその反対圏 Cop が同値であるとき,そのような圏は自己双対 (self-dual) である. (ja)
- 圏論という数学の分野において,双対性(そうついせい,英: duality)は圏 C の性質と反対圏 Cop の双対的な性質の間の対応である.圏 C についてのステートメントが与えられると,各射のと終域を入れ替え,2つの射の合成の順序を入れ替えることによって,反対圏 Cop についての対応する双対命題が得られる.双対性は,そのようなものとして,ステートメントに関するこの操作の下で正しさが不変であるという主張である.言い換えると,あるステートメントが C について正しければ,その双対のステートメントは Cop について正しい.また,あるステートメントが C について間違いならば,その双対のステートメントは Cop について間違いである. C が与えられたとき,その反対圏 Cop はしばしばそれ自体が抽象的である.Cop は数学的実践から生じる圏である必要はない.この場合,別の圏 D と Cop が圏として同値であるとき,D も C と双対にあると言われる. C とその反対圏 Cop が同値であるとき,そのような圏は自己双対 (self-dual) である. (ja)
|
rdfs:label
|
- 双対 (圏論) (ja)
- 双対 (圏論) (ja)
|
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is owl:sameAs
of | |
is foaf:primaryTopic
of | |