> Things like the `wedge product' from exterior algebra (thanks > to Greg Pettyjohn for showing me this) don't require the object types > to be known. I'll bite, what is a 'wedge product'? --- Peter