?? so ... ?? let's try considering ... ??? some pull-push examples ... ?? looking for something to "go wrong" ... ??? ....

?? bi-quasicoherent sheaf from projective line to terminal k-variety ... ??? .... = quasicoherent sheaf over projective line ... ?? for example the unit sheaf ... ??? .... ?? so then the pull-push functor takes a quasicoherent sheaf over ....

??? wait a minute, talking about pull-push here seems like wrong sort of correspondence .... ???? .... ????? ......

?? though probably in this case it ends up more or less making sense ... ??? .....

?? hmm, still getting confused between toric convolution and ordinary tensor product ... ?? in this case, wrt which we're mainly trying to understand in co-fan picture ... ?? ...

?? taking sections of quasicoherent sheaf over projective line .... ???? ....

?? affine case ... ??? ...

underlying k-vsp of k[x]-module .... ?? does this process have a right adjoint ?? ... ???? ..... ???? .....

?? "histories" .... ???? ....... ??? ....