Have you ever tried to use the search facility on sourceforge or gmane.org?
http://article.gmane.org/gmane.comp.mathematics.aldor-combinat.devel/705 Look at macro MSPECIES==(L: Tuple LabelType)->MultisortSpeciesCategory L; FunctorialCompose( F: MSPECIES, G: Tuple MSPECIES )(L: Tuple LabelType): MultisortSpeciesCategory L == add { Rep == F(G1(L), G2(L), ..., Gn(L)); ... } and you will realise that even if you start with just one LabelType, after Functorial composition with different Gi, you arrive at different things. Ralf On 03/29/2007 10:05 PM, Martin Rubey wrote: > Dear Ralf, > > I cannot find the mail anymore in which you explained why you want to have > several labeltypes for multisort species. I think the argument was because of > functorial composition, but I cannot remember well... > > Maybe you could repeat. > > Thanks, > > Martin ------------------------------------------------------------------------- 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