??so what _about_ "filteredly cocontinuous presheaves" ?? ... and so forth ... ???...

??hmm, how about in terms of grothendieck topology ?? ... and so forth ... ??...

?? "the filtered colimit topology" ... ???or something?? ...

??so what about this example that we have... involving projective line as toric variety ... ??...

3-object site category ... ??explicit description of hom-sets and so forth here ????...

Nx0 NxZ 0x0
0 NxN 0
0 ZxN N

??or something... ??? ..fix that ... ??....

??hmmm, maybe it's more like ...

N+ N+ 0
0 1 0
0 N- N-

???or something ???...


??something about ... ??still peculiar that we're sort of using "accidental topos" ... ??... and so forth ... ????....

??something about "accidental site" ... ??... ??with semi-monoidal structure ... ??and "quasi-pro-unital" or something ... ???... ????.....


??what about something about "eckmann-hilton" and "property vs structure" (and so forth...) here ??...