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
-~----------~----~----~----~------~----~------~--~---

Reply via email to