Author: RobertHarper Format: TextOn the page https://ncatlab.org/nlab/show/interactions+of+images+and+pre-images+with+unions+and+intersections, Remark 3.3, the middle map in the figure should be f^\ast, and the lower map, the right adjoint, f_\ast, rather than vice-versa as now.
I would happily have made the change and submitted it for approval, but I could not figure how to do that.
On the page https://ncatlab.org/nlab/show/interactions+of+images+and+pre-images+with+unions+and+intersections, Remark 3.3, the middle map in the figure should be f^\ast, and the lower map, the right adjoint, f_\ast, rather than vice-versa as now.
I would happily have made the change and submitted it for approval, but I could not figure how to do that.
Author: gregprice Format: TextI've gone and made this fix.
(In the end, it was May 3 that the nLab returned to life: https://nforum.ncatlab.org/discussion/13776/nlab-migration-to-the-cloud/?Focus=98034#Comment_98034 .)
I've gone and made this fix.
(In the end, it was May 3 that the nLab returned to life: https://nforum.ncatlab.org/discussion/13776/nlab-migration-to-the-cloud/?Focus=98034#Comment_98034 .)