以topos理论为工具,证明了L集合范畴中不具有子对象分类子,但在强映射L集合范畴中具有子对象分类子.
In this paper, the authors prove the category of L sets does not have the subobject classifier until with the strong mapping by the tool of topos theory.