Adam: >As these are rather technical notions, maybe it would be >better to replace them by less ambiguous symbols ? I agree. I always have the same feeling with ^2 for square. The functor should be ^ with 2 as the argument. Freek