A map B : V × V → k linear in each argument. Symmetric, alternating, and non-degenerate are core sub-types; classification via Gram matrix up to congruence.
A map B : V × V → k linear in each argument. Symmetric, alternating, and non-degenerate are core sub-types; classification via Gram matrix up to congruence.