?? walking composition alg sym mon algebroid .... ??? .... ?? fd hom spaces ??? ....

?? "biquadratic" ... ??? 4-linear, symmetric in first two and (separately ...) in last two ... ?? ...

?? "polynomial morphism in sym mon algebroid" .... ???? ..... ?? base change ?? .... ???? ....

?? composition algebra and / vs "alg with involution with real aspect standard" .... ??? ..... ??? killing .... ???? .....

?? walking "alg with involution with real aspect standard" sym mon algebroid .... ???? .....

?? walking "object with symmetric bimorphism" symmetric mon cat ... ??? morphism m -> n as ... ?? injection with partition into pairs on complement of image ??? .... ??? .... ?? general idea of ... ??? comm monoidal structure type giving notion of morphism like this (?? ...) ??? .... ????? ......