On Tue, Jun 3, 2008 at 2:45 PM, Bill Page <[EMAIL PROTECTED]> wrote: > > 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? >
This is very relevant: http://wiki.sagemath.org/days7/coercion William --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---