子对象分类子相关论文
引入双诱导映射(L)集合范畴的幂对象及子对象分类子的概念,并分别讨论它们的判别定理,同时给出它们的具体结构.......
以topos理论为工具,证明了L集合范畴中不具有子对象分类子,但在强映射L集合范畴中具有子对象分类子.......