Рассматриваются два вида инвариантности: изо-инвариантность и модус-инвариантность. Первая строится на основе изоморфизмов - как класс эквивалентности относительно выбранного элемента. Вторая более общая и предполагает проективно-модальные конструкции (16 мая 2018 г.).
Hide player controls
Hide resume playing