?? been doing some calculations in my handwritten notebook ... leaning away from co-yoneda morphisms and towards just jeeping track of what gets invertibilized while existing colimits are maintained, roughly ...

???poset case of this ??? ..... ??as meshing with ... ???certain ideas about calculating closures ... ??? ....