?? at some point(s ??) thought of "toric category" as just sym mon cat with properties ... vs now thinking of it as categorified bi-alg with properties .... ??? ... ?? compatible ??? .... ?? relationship to "automatic comonoid structure in cartesian environment" etc .... ??? .... ???? ....