On Tue, Jun 3, 2008 at 4:48 PM, Robert Bradshaw wrote: > > On Jun 3, 2008, at 11:17 AM, Gary Furnish wrote: > ... >> I consider homsets to be a gigantic flaw in coercion that >> absolutely have to be fixed for me to consider using more >> of the coercion system in symbolics. > > Ironically, other people see it as a plus that coercion has > been given a more categorical founding. >
Absolutely! :-) BTW, where can I read more about these categorical concepts that are currently built-in or planned for Sage? Regards, Bill Page. --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
