?? "composition algebra" ... ??? multiplication by unit length element as isometry .... ???? something like closed sym mon cat of qfs's, with unit ball or its boundary as forgetful fr .... ??? ....

?? ... metric soace as enriched cat ... ???

??? .....

?? bracketing with element as infinitesimal isometry .... ????? .... antisymmetry and "associativity between bracketing and dot product" .... ???? .....

... talking with huerta about some of this stuff .... ?? ....

?? ... "banach ..." .... ?? ...

?? ... "...-star ..." ??? ...