?? concrete explicit approach to relating two approaches to quasicoherent sheaves over p_1 ....

graded module / "proj" approach, vs borel rep approach ...

_1d object l embedded in 2d object x_ <- _1d object embedded in v_ -> _1d object mapped to v_

?? right adjoint games here ??? ... ?? co-/monad games ??? ....

?? _1d object l mapped to 2d object x_ .... ???? .... ???? again (... ?? ...), vague hint of relationship to "bruhat classification" here .... ???? .....