Hi, Thanks to all for the answers. I'll have a look at the references you gave me and see if I can get this done.
Just to spell this out, there is an added complication for the category of Schemes (as opposed to Sets or most categories built on Sets): Let S be an object in Schemes. By definition, a point (element) of S is *not* an element of the underlying set S, but rather a morphism from another scheme T to S, i.e. an element of the set Hom(T, S). (You recover the good old points by taking T to be Spec of a field, but this concept encompasses much more than that.) So simply copying what Sets does won't work here, but hopefully there's a (simple) modification that will work. Thanks again, Alex -- Alex Ghitza -- Lecturer in Mathematics -- The University of Melbourne http://aghitza.org -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
