?? forgetful ag morphism from p^n to "[n+1]-dim object ew 1-dim good subobject" ...
thinking of this as something like ... t := [geometric codomain] theory here .... geometric domain theory as something like "t-oidal ag theory" .... ???? then for some reason wondered about similar idea with forgetful ag morphism from "cartan torsor" to "borel torsor" or perhaps vice versa ... ??? .... hmmm .... ??? .... "forgetting one of a generic pair of flags" .... ????? .... not much in reverse direction ??? .... hmmmm ..... ??? cartan reps as borel-reps-oidal ??? .... ?? in way amounting purely to imposition of extra equations ??? .... ??? ....