11:15 PM
@CharlesRezk Hang on -- a 0-truncated object $X$ is one such that $Hom(Y,X)$ is discrete for all $Y$. For example $Hom(G,X)$ -- the underlying space of $X$ -- is discrete. Then since we are working in the Borel category, and $X \to \pi_0(X)$ is an underlying equivalence, it is an equivalence. So $X$ is a $G$-set, and therefore a disjoint union of orbits. No?
« first day (2340 days earlier) ← previous day next day → last day (1063 days later) »