拓扑斯G-Set中逐次幂对象的子对象
范畴论
2007-05-23 v1
摘要
设G为一个群，M为拓扑斯G-Set的一个对象。我们证明：G-Set范畴的一个对象X同构于对象P(M)、P(P(M))、P(P(P(M)))、...中某一个的子对象，当且仅当card X < sup{card P(M), card P(P(M)), card P(P(P(M))),...}且{g \in G: \forall m \in M gm=m} \subseteq {g \in G: \forall x \in X gx=x}。
引用
@article{arxiv.math/0611821,
title = {Subobjects of the successive power objects in the topos G-Set},
author = {Apoloniusz Tyszka},
journal= {arXiv preprint arXiv:math/0611821},
year = {2007}
}
备注
2 pages, LaTeX2e