The name 'Functor' is not suitable for this category. Look what 'Functor' means in Sage: http://doc.sagemath.org/html/en/reference/categories/sage/categories/functor.html
This 'map:(S->S,%)->%' has more ties with programing than category theory. I think we can simply call this category "MapCategory". -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" 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 https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
