Am Montag, 15. Juni 2015 13:15:09 UTC+2 schrieb Simon King: > > PS: > > I am a bit puzzled, because I think I have changed it to CategoryObject > a couple of years ago (either for Map or for Morphism), since after all > not all > objects are in fact sets (i.e., parents). >
Since Morphism inherits from Map, this would be Map. It would be great if you did. Could you somehow check? Might there be something on trac? (On the other hand, Map assumes that we can call the map, and there seems some stuff about coercion in it, so I somehow doubt it...) Martin -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
