??so what about relationship between ["quasicoherent vs non-quasicoherent sheaf" as to do with strong vs lax gloabalization ... ??and so forth ...] and ["big vs small topos" as to do with strong vs lax triangle ... ??and so forth ...] ?? ... ??? and so forth ....