?? tensoring (?? ... ?? syntactic coproduct ?? ....) AG theory with AG theory of g-torsor .... ???? ..... ?? change of enrichment-base ?? .... ???? ...


?? wrong idea maybe worth noting : ?? given category x and group g acting on it, and objects x1 and x2 in x, ask whether there's a sensible way for g to act on [x1,x2] ... and seems pretty clear there isn't ... ?? part of point being that x becoming enriched over _g-action_ (?? ...) (?? in some variant of situation described here ??? .... ?? ....) likely to involve original (?? ...) hom-space appearing as "invariants" of new one, rather than "total" .... ??? ....