subobject classifier（カテゴリー理論における部分対象分）とは - 英語 - 多言語

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 多言語

検索内容:

subobject classifier

(category theory) An object which serves as the codomain of a classifying morphism, together with a "true" global element of the said object.

日本語の意味

カテゴリー理論における部分対象分類子とは、各部分対象を特徴付ける分類射の余射（codomain）として機能し、その対象に「真」を示す全域要素が存在するオブジェクトを指す。

英語の意味

(category theory) An object which serves as the codomain of a classifying morphism, together with a "true" global element of the said object.

このボタンはなに？

In many toposes, the subobject classifier identifies which subobjects of an object correspond to characteristic morphisms into it.

翻訳する

多くのトポスでは、分類射の終域となり「真」と呼ばれる終対象からの元を備えた対象（部分対象分類子）が、ある対象のどの部分対象がそれへの特徴写像に対応するかを識別する。

詳細

subobject classifiers

名詞

活用形複数形

plural of subobject classifier

原形: subobject classifier

日本語の意味

「subobject classifier（部分対象分類子）」の複数形。つまり、複数の部分対象分類子を指します。

英語の意味

plural of subobject classifier

このボタンはなに？

In topos theory, subobject classifiers play a central role in characterizing monomorphisms.

翻訳する

トポス論では、部分対象を分類する対象が単射（モノモルフィズム）を特徴づける上で中心的な役割を果たす。

詳細

Webで検索する

検索結果- 英語 - 多言語