?? so _does_ curing no-headed monster somehow automatically cure two-headed monster too ??? …. ??? ….

?? no-headed monster as cokernel (or coequalizer, if you prefer …. ???? ….) of _something_ … ?? namely of … ?? the actual virtual embedding ??? ….. ?? maybe some confusion here between subspace and quotient space ??? … ??? and / or their duals …. ???? ….

?? formal limit in formal colimit category …. ???? ….

?? regular epi as cokernel of its kernel (pair … ??? …) …. ???? …… ????? …..