?? map from subtoposes of t to sublocales of localeization(t) .... ??? as weird maybe ??? .... ?? example of accidental toposes ??? .... ????? .... ??? non- / surjective, non- / injective .... ???? .... ?? _is_ map clear here ??? ....

?? vs open case .... ????? .... ?? bijective ??? ..... ???? .....

?? confusion about open subtopos of accidental topos .... ???? .... ??? subobject classifier .... ???? ....

?? stuff i sort of almost learned about open subtopos right before / around time of collapse of ideas about categorified bialgebras ... ??? did i already write this somewhere ?? ...