Sunday, November 20, 2011

?? in connection with confusion about "toric flatness" ... ?? as seeming to imply monicness .... ??? .... .... thought a bit about mapping from for example sets (thought of as actions of trivial commutative monoid) to _n_-actions ... ?? ... ?? ran into confusion about idea of "constant sets" ... ?? maybe two conflicting concepts of such here ?? ... ?? maybe associated with the two contrasting tensor products for quasicoherent sheaves on toric varieties ??? ... ??? ... ??? ... ordinary vs "toric" ... ??? ..... ??? ...

?? some ideas about "germs" that i might have mentioned recently may have been based on miscalculations ... ??? ....

?? idea of right adjoint "quasicoherentization" ??? .... ?? conceptual status ... ???? including of non-quasicoherent sheaves of actions ... ??? .....

?? in connection with idea of tensor product of cofan cocones as special case of tensor product of enriched categories ... ?? ... thought a bit about ... ??? given grothendieck topos t, getting new such of filteredly cocontinuous set-valued functors on t .... (was trying to recall an earlier idea, i think (?? about ... "theory whose models are ess formulas of theory t" ... ??? formula / model relativity .... ??? .... ?? ... ?? diaconescu ... ?? case where "flat" reduces to limit-preserving ... ??? .... ??? ...), but not sure to what extent i succeeded ... ?? ...) ... ?? then case where t is accidental topos of toric variety ... ?? maybe using the (...) tensor product on t to get tensor product on the new topos .... ??? ... ??? ... ??? but some things seem confusing / maybe backwards here ... ?? ... ?? found myself thinking about ideas like "taking slice topos over subobject classifier to adjoin relation to theory ..." ... ?? and what sort of things can or (?? from vague memories ...) do go wrong here ... ??? .... enriched hom valued in k as sort of like "k-valued binary relation" .... ???? ....

?? sheafification for the (?) interesting sheaf condition on _n_^2-actions ... ?? ... ?? confusion ... ??? .... ?? might be interesting to work out ... ?? ...

No comments:

Post a Comment