?? “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 …. ??? …..