On Wed, Oct 21, 2009 at 03:05:25PM -0700, David Kohel wrote: > What about the category of categories (with functors as morphisms)?
Sounds reasonable. You would have it derive from Object, right? If yes, then I vote for leaving a TODO note in Category.category, and postpone the creation of this new category for when we will actually have a need for it (or at least after the integration of the current code). Cheers, Nicolas -- Nicolas M. ThiƩry "Isil" <nthi...@users.sf.net> http://Nicolas.Thiery.name/ --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To post to this group, send email to sage-combinat-devel@googlegroups.com To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en -~----------~----~----~----~------~----~------~--~---