Closed rkirsling closed 5 years ago
In the chapter on Free/Forgetful Adjunctions, an instance of the category name Mon is currently appearing as arg. (Looks like the problem was introduced here.)
Oh dear! That's what happens with manual find-and-replace :) Thanks for the fix, I'll add it to the Errata, and will release an updated PDF soon.
In the chapter on Free/Forgetful Adjunctions, an instance of the category name Mon is currently appearing as arg. (Looks like the problem was introduced here.)