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

Reply via email to