?? “monsters” … ?? quasi-sheafification …. ????

?? two-headed monster … ?? self-pushout of … ??? “cure” map to one-headed monster as epi …. ???? …

?? no-headed monster … ?? cokernel of … ??? …. ??? “cure” map to one-headed monster as mono …… ???? …..

?? two-headed monster as self-pushout of cure map from no-headed monster ??? ….

??bit about “[n+1]d hole as redundant filling of nd hole” ??? …..

?? switch from lizard’s tail to monster’s head …. ????? …..

?? given lawvere-tierney topology, consider collection of morphisms consisting of monos “in” the topology, and their self-pushouts …. ???? … ?? saturate wrt … ???? …. ??? invertibilization under cocontinuous functor …. ???? …..

?? boundary of disk …. double of disk …. ??? …..