Skip to main content
4 events
when toggle format what by license comment
May 7, 2012 at 20:33 vote accept Vidit Nanda
May 7, 2012 at 15:44 comment added Lee Mosher The "closed under composition" condition is used in verifying that the enumerations of $P_1,...,P_k$ are well-defined, which is used in turn to enumerate $S$, which is used in turn to define the bijections $\psi_a : S \to P_a$. I don't know how to define these bijections in a reasonable way otherwise. Perhaps if one of the $P_a$'s has two points that are very close to each other, then something like you suggest could work.
May 7, 2012 at 15:23 comment added Vidit Nanda Thank you, that's good. But is it more restrictive than necessary? For instance, it might suffice to require $\phi_{bc}∘\phi_{ab }$ is just very close to -- instead of coincident with -- $\phi_{ac}$.
May 7, 2012 at 13:51 history answered Lee Mosher CC BY-SA 3.0