拓扑空间G-Set中连续幂对象的子对象
摘要：G-Set范畴中的对象X与一个P(M)，P(P(M)), P(P(P(M)))...的子对象同构的充分必要条件是cardX < sup{cardP(M), cardP(P(M)), cardP(P(P(M)))...}且{g in G: forall m in M gm=m} ⊆ {g in G: forall x in X gx=x}。
作者：Apoloniusz Tyszka
论文ID：math/0611821
分类：Category Theory
分类简称：math.CT
提交时间：2007-05-23