文件名称：个体集和强个体集的范畴性质 (2013年)
文件大小：343KB
文件格式：PDF
更新时间：2024-06-06 16:51:14
自然科学 论文
研究了个体集和强个体集的范畴性质．利用范畴论方法证明了个体集范畴、强个体集范畴与集合范畴在许多方面是相似的．例如，具有任一给定基数的个体集和强个体集是存在的；个体集和强个体集对于子集、幂运算封闭；非空个体集范畴和非空强个体集范畴都是完备的monoidal topoi．构造了超结构函子V和超幂函子Hy并得到：(1)对任意非空强个体集X和Y，g：X→Y是单射(resp．，满射)当且仅当V(g)是单射(resp．，满射)；(2)对任意集X和y，g：X→Y是单射(resp．，满射)当且仅当Hy(g)是单射(res