(mathematics) A set which serves as the codomain of a characteristic function. / (category theory, uncountable) The subobject classifier restricted to the category Set.
subset classifier
トポスにおける真理値の集合は、特性関数の値域として機能し、要素の所属情報を符号化します。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
