すなわち、''C''lは二次形式を持ったベクトル空間の圏(射は二次形式を保つ線型写像)から結合代数への関手と考えることができる.
''C''l