Hey Mark, Ack...my bad. If we were to have a separate category for tensor products of modules, then I agree that it should not be in there to avoid technical/implementation issues.
Best, Travis On Sunday, April 6, 2014 1:31:20 PM UTC-7, Mark Shimozono wrote: > > Travis, > > The zero module is not in the tensor category; its tensor product with > anything else is 0. > But it is the identity object for direct sums. > I could see it being very helpful if, for example, one was implementing > some formal > Grothendieck group that didn't have a really convenient basis. > > --Mark > -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-combinat-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-combinat-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-combinat-devel. For more options, visit https://groups.google.com/d/optout.
