?? philosophy of "variations on tannakian correspondence involving extra structure (?? ...) on each side ..." ... ?? relationship to ... ??? ?? studying models of props (?? or something similar to props ... ??? what about quantaloid here ?? ... ??? ....) in symmetric monoidal bicategory of (?? generalized ... ??? ...) varieties and correspondences .... ???? ..... ??? ......