数学の抽象的な分野である圏論において、圏 𝒞 の始対象(したいしょう、英: initial object, coterminal object)とは、𝒞 の任意の対象 X に対してちょうど一つの射 I → X が存在するような 𝒞 の対象 I のことを指す。圏 𝒞 の終対象(しゅうたいしょう、英: final object, terminal object)とは、始対象の双対概念であり、 𝒞 の任意の対象 X に対してちょうど一つの射 X → T が存在するような 𝒞 の対象 T のことを指す。 始対象でも終対象でもあるような対象は零対象(れいたいしょう、ゼロたいしょう、英: zero object, null object)と呼ばれる。点付き圏 (pointed category) とは零対象を持つ圏を言う。

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
  • 3073271 (xsd:integer)
dbo:wikiPageLength
  • 8408 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 90775324 (xsd:integer)
dbo:wikiPageWikiLink
prop-en:author
  • Renze, John. (ja)
  • Renze, John. (ja)
prop-en:id
  • 33132 (xsd:integer)
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