алгебраїчні трактування многовидів (?)