Subobjects of the successive power objects in the topos G-Set
Category Theory
2007-05-23 v1
Abstract
Let G be a group and let M be an object of the topos G-Set. We prove that an object X of the category G-Set is isomorphic to some subobject of one of the objects P(M), P(P(M)), P(P(P(M))),... if and only if card X < sup{card P(M), card P(P(M)), card P(P(P(M))),...} and {g \in G: \forall m \in M gm=m} \subseteq {g \in G: \forall x \in X gx=x}.
Cite
@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}
}
Comments
2 pages, LaTeX2e