On Jun 3, 2008, at 7:11 PM, David Harvey wrote: > 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)?
Yes, that is a much more precise (and correct) explanation of what I meant. - Robert --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
