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
>> naming scheme.
>> -
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' function