ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
検索内容:
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)として機能し、その対象に「真」を示す全域要素が存在するオブジェクトを指す。
選択した言語のデータがないため、英語で表示しています。
関連語
classifying morphism
名詞
(category theory) A morphism from an object to the subobject classifier which corresponds to a unique subobject of the said object, which subobject is the pullback, along this morphism, of the "true" global element of the subobject classifier.
日本語の意味
(圏論における) 対象からサブオブジェクト分類子への射のことで、その射を通して一意に定まる部分対象が、分類子の「真」を示すグローバル要素に対する引き戻しとして得られる。 / 対象のある部分対象を一意に特徴づけるために用いられる射として解釈される。
選択した言語のデータがないため、英語で表示しています。
関連語