[boris_m]

Author here. It was backwards, I fixed it when I saw the comment. Feel free to report any other mistakes you see on https://github.com/abuseofnotation/category-theory-illustrat... or email.

[haskman]

Seems you might have fixed it before I saw it! Thanks!