(Untitled)

[hill_report]

существуют ли нетривиальные структуры данных с сильными алгебраическими свойствами?
Например всяческие контейнеры это моноиды, а что могло бы быть группой?
(Структуры данных для полиномов тривиально)

Comments

[ex_juan_gan]

Конкатенация; а пустой - единица (не identity, а unit).

[ex_juan_gan]

Мало ли что несёт народ... плохой термин. Это нейтральный элемент, а не identity.