elementary topos

(category theory) A Cartesian closed category which has a subobject classifier.

Japanese Meaning

初等トポス：デカルト閉じた圏であり、部分対象分類子（部分対象の識別対象）を備えた圏。

An elementary topos provides a rich setting for interpreting higher-order logic and constructing models of set theory.

部分対象分類子を持つカルテシアン閉圏は、高階述語論理を解釈したり集合論のモデルを構築したりするのに適した豊かな枠組みを提供する。

Sense（1）

(category theory) A Cartesian closed category which has a subobject classifier.

elementary topoi

（ plural ）

elementary toposes

（ plural ）