On Jun 3, 2008, at 10:04 PM, Robert Bradshaw wrote:
>> How does it related to the >> concept of "parent" - which seems equally ill-defined to me? > > A Parent is an Object in the category of Sets, huh? Don't you mean to say something more like "a parent is an object of a concrete category", i.e. a category C with a faithful functor f : C -> Set, such that the "elements" (as understood by Sage) of the parent P are exactly the elements of f(P)? > though in the context > of coercion one usually assumes one can some kind of arithmetic > (binary operations) on their elements. david --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
