On Tue, Jun 3, 2008 at 5:48 PM, William Stein wrote: > > On Tue, Jun 3, 2008 at 2:45 PM, Bill Page 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 >
Thanks for the reference. No mention of "homsets" here. :-( Only one mention in /days7/coercion/todo ... But reading this makes me feel a little, well ah, "light-headed". At best it seems like something very hastily grafted-on to the design. Is this part of Sage about which you would like comments and more discussion? Or is there more information somewhere that I am missing? I am afraid that there is not much here that category theorists are likely to find interesting. I have many many questions, but mostly I wonder what the overall intention of this construction really is in Sage? Is it only relevant to coercion? How does it related to the concept of "parent" - which seems equally ill-defined to me? What is the relationship to inheritance in Python? Is the intention to give all mathematical objects defined in Sage some categorical structure? What about categories themselves as mathematical structures - e.g. a category is a kind of directed graph with additional structure? 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 -~----------~----~----~----~------~----~------~--~---
