Chapter 8: confusion between types and values in Functor explanation

[ivan-kleshnin]

https://drboolean.gitbooks.io/mostly-adequate-guide/content/ch8.html

I think there is some problem.

1. This paragraph goes first:

For instance, Maybe maps our category of types and functions to a category where each object may not exist and each morphism has a null check

2. Then this picture is presented

3. Accompanied by this example showing something quite different from the words above.

In those two pictures a and b are not types. They are values. I'm not sure if it's correct to call presented mapping a Functor but even if so we need to add some notes IMO because it goes against the quoted paragraph.

[DrBoolean]

I think the confusion here is "category of types and functions", which I meant to be just our normal category of JS that has JS values and JS functions. It is certainly the functor graph, but my wording is a little off

[ivan-kleshnin]

Than a simple rewording should suffice. I wouldn't even bother with issue if I weren't stumbled by similar case some time ago.