引入双诱导映射φ集合范畴的幂对象及子对象分类子的概念,并分别讨论它们的判别定理,同时给出它们的具体结构。
In this paper,we introduce the definitions of the power object and a subobject classifier in the bi-induced mapping type of the category of φ sets,and discuss their judgmental theorems,at the same time give their concrete structure.