双诱导映射φ集合范畴的幂对象及子对象分类子探讨

The Study about the Power Object and a Subobject Classifier in the Bi-induced Mapping Type of the Category of φ Sets

引入双诱导映射φ集合范畴的幂对象及子对象分类子的概念,并分别讨论它们的判别定理,同时给出它们的具体结构。

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.