27 Mar
1992
27 Mar
'92
12:51 p.m.
Maybe I'm being naive here, but isn't Pfn isomorphic in a rather natural way to Set*, the category of pointed sets? Everything that doesn't get mapped anywhere by a partial function P:X-->Y gets mapped to *(Y) by the corresponding function P*: X* --> Y*: so * acts as a sort of 'wastebasket'. So it would seem that coproducts, etc., would follow from that. -Robert Dawson ++++++++++++++++++++++