数学の抽象的な分野である圏論において、圏 𝒞 の始対象（したいしょう、英: initial object, coterminal object）とは、𝒞 の任意の対象 X に対してちょうど...

数学の抽象的な分野である圏論において、圏 𝒞 の始対象（したいしょう、英: initial object, coterminal object）とは、𝒞 の任意の対象 X に対してちょうど...

数学の抽象的な分野である圏論において、圏 𝒞 の始対象（したいしょう、英: initial object, coterminal object）とは、𝒞 の任意の対象 X に対してちょうど...

数学の抽象的な分野である圏論において、圏 𝒞 の始対象（したいしょう、英: initial object, coterminal object）とは、𝒞 の任意の対象 X に対してちょうど...

圏論という数学の分野において、与えられた2つの圏の間の関手たちは関手圏（かんしゅけん、英: functor category）と呼ばれる圏をなす。その対象は関手であり、射は関手の間の自然変換で...

圏論という数学の分野において、与えられた2つの圏の間の関手たちは関手圏（かんしゅけん、英: functor category）と呼ばれる圏をなす。その対象は関手であり、射は関手の間の自然変換で...

圏論という数学の分野において、与えられた2つの圏の間の関手たちは関手圏（かんしゅけん、英: functor category）と呼ばれる圏をなす。その対象は関手であり、射は関手の間の自然変換で...

公理的集合論（こうりてきしゅうごうろん、axiomatic set theory）とは、公理化された集合論のことである。集合の公理系ツェルメロ＝フレンケル集合論（ZF公理系）「ツェルメロ＝フレンケル集...

公理的集合論（こうりてきしゅうごうろん、axiomatic set theory）とは、公理化された集合論のことである。集合の公理系ツェルメロ＝フレンケル集合論（ZF公理系）「ツェルメロ＝フレンケル集...

.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...