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

Reply via email to