Property |
Value |
dbo:abstract
|
- 数学の抽象的な分野である圏論において、圏 𝒞 の始対象(したいしょう、英: initial object, coterminal object)とは、𝒞 の任意の対象 X に対してちょうど一つの射 I → X が存在するような 𝒞 の対象 I のことを指す。圏 𝒞 の終対象(しゅうたいしょう、英: final object, terminal object)とは、始対象の双対概念であり、 𝒞 の任意の対象 X に対してちょうど一つの射 X → T が存在するような 𝒞 の対象 T のことを指す。 始対象でも終対象でもあるような対象は零対象(れいたいしょう、ゼロたいしょう、英: zero object, null object)と呼ばれる。点付き圏 (pointed category) とは零対象を持つ圏を言う。 (ja)
- 数学の抽象的な分野である圏論において、圏 𝒞 の始対象(したいしょう、英: initial object, coterminal object)とは、𝒞 の任意の対象 X に対してちょうど一つの射 I → X が存在するような 𝒞 の対象 I のことを指す。圏 𝒞 の終対象(しゅうたいしょう、英: final object, terminal object)とは、始対象の双対概念であり、 𝒞 の任意の対象 X に対してちょうど一つの射 X → T が存在するような 𝒞 の対象 T のことを指す。 始対象でも終対象でもあるような対象は零対象(れいたいしょう、ゼロたいしょう、英: zero object, null object)と呼ばれる。点付き圏 (pointed category) とは零対象を持つ圏を言う。 (ja)
|
dbo:thumbnail
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 8408 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-en:author
|
- Renze, John. (ja)
- Renze, John. (ja)
|
prop-en:id
| |
prop-en:title
|
- Definition:Initial Object (ja)
- Definition:Terminal Object (ja)
- Final object (ja)
- Initial Onject (ja)
- Terminal Onject (ja)
- examples of initial objects and terminal objects and zero objects (ja)
- initial object (ja)
- pointed category (ja)
- terminal object (ja)
- zero object (ja)
- Definition:Initial Object (ja)
- Definition:Terminal Object (ja)
- Final object (ja)
- Initial Onject (ja)
- Terminal Onject (ja)
- examples of initial objects and terminal objects and zero objects (ja)
- initial object (ja)
- pointed category (ja)
- terminal object (ja)
- zero object (ja)
|
prop-en:urlname
|
- Definition:Initial_Object (ja)
- Definition:Terminal_Object (ja)
- Final_object (ja)
- InitialObject (ja)
- TerminalObject (ja)
- ZeroObject (ja)
- initial+object (ja)
- pointed+category (ja)
- terminal+object (ja)
- zero+object (ja)
- Definition:Initial_Object (ja)
- Definition:Terminal_Object (ja)
- Final_object (ja)
- InitialObject (ja)
- TerminalObject (ja)
- ZeroObject (ja)
- initial+object (ja)
- pointed+category (ja)
- terminal+object (ja)
- zero+object (ja)
|
prop-en:wikiPageUsesTemplate
| |
dct:subject
| |
rdfs:comment
|
- 数学の抽象的な分野である圏論において、圏 𝒞 の始対象(したいしょう、英: initial object, coterminal object)とは、𝒞 の任意の対象 X に対してちょうど一つの射 I → X が存在するような 𝒞 の対象 I のことを指す。圏 𝒞 の終対象(しゅうたいしょう、英: final object, terminal object)とは、始対象の双対概念であり、 𝒞 の任意の対象 X に対してちょうど一つの射 X → T が存在するような 𝒞 の対象 T のことを指す。 始対象でも終対象でもあるような対象は零対象(れいたいしょう、ゼロたいしょう、英: zero object, null object)と呼ばれる。点付き圏 (pointed category) とは零対象を持つ圏を言う。 (ja)
- 数学の抽象的な分野である圏論において、圏 𝒞 の始対象(したいしょう、英: initial object, coterminal object)とは、𝒞 の任意の対象 X に対してちょうど一つの射 I → X が存在するような 𝒞 の対象 I のことを指す。圏 𝒞 の終対象(しゅうたいしょう、英: final object, terminal object)とは、始対象の双対概念であり、 𝒞 の任意の対象 X に対してちょうど一つの射 X → T が存在するような 𝒞 の対象 T のことを指す。 始対象でも終対象でもあるような対象は零対象(れいたいしょう、ゼロたいしょう、英: zero object, null object)と呼ばれる。点付き圏 (pointed category) とは零対象を持つ圏を言う。 (ja)
|
rdfs:label
|
- 始対象と終対象 (ja)
- 始対象と終対象 (ja)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is owl:sameAs
of | |
is foaf:primaryTopic
of | |