Ми доводимо, що тензорний добуток Деліня категорії еквіваріантних конструктивних збочених в"язок є категорією такого ж типу. А саме, добуток категорії на комплексному алгебраїчному G-многовиді X і H-многовиді Y є категорією, що відповідає G х H-многовиду X х Y - добутку конструктивних просторів.
