Could someone tell me what the cycle type of \sigma \in S_0 is. I somehow think that (), i.e. the empty tuple is a good candidate.
Martin, perhaps you realise that I need this to compute an upper bound for the functorial composition. Take n=0 in Definition 2.2.4 of BLL. What happens? Let \sigma\in S_0. What is G[\sigma]? Ah, sure, it is a permutation in some S_m. First question: what is m? Note that there is no restriction that G in the functorial composite F\square G must have \card(G[0])=0. So assume \card(G[0])=c>0. Is then G[\sigma] \in S_c? Second question. Which of those c! many? Ralf ------------------------------------------------------------------------- Take Surveys. Earn Cash. Influence the Future of IT Join SourceForge.net's Techsay panel and you'll get the chance to share your opinions on IT & business topics through brief surveys-and earn cash http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV _______________________________________________ Aldor-combinat-devel mailing list Aldor-combinat-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel