Re: [fricas-devel] [WIP] Functor, or "MapCategory"

2016-10-20 Thread Bill Page
On 20 October 2016 at 06:16, oldk1331 wrote: > About abstracting the signature 'map : (S->S,%)->%' > into a category, there are 2 problems so far: > >> - Functor is quite loaded name and may lead to confusion. >> Something like 'MapCategory2' seem to fit better existing >>

[fricas-devel] [WIP] Functor, or "MapCategory"

2016-10-20 Thread oldk1331
About abstracting the signature 'map : (S->S,%)->%' into a category, there are 2 problems so far: > - Functor is quite loaded name and may lead to confusion. > Something like 'MapCategory2' seem to fit better existing > naming scheme. > - What documentatin do you propose for the 'map'