(category theory) A Cartesian closed category which has a subobject classifier.
elementary topos
部分対象分類子を持つカルテシアン閉圏は、高階述語論理を解釈したり集合論のモデルを構築したりするのに適した豊かな枠組みを提供する。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★