@user170039 Thanks for bringing this to my attention, but I think you must have been looking at some nLab page other than the one you pointed me too, because I'm not seeing those statements. BTW, for anyone who spots an error, the optimal thing to do is to go to the nForum (alas, one has to register, but that takes mere seconds IIRC) and bring it up there. We are eager to correct errors.