Унивалентность и понятие структуры в философии математики

Статья посвящена рассмотрению текущего состояния конструктивистского и структуралистского направлений в философии математики. Обосновывается взаимосвязь указанных направлений в рамках теоретико-типового подхода к основаниям математики через рассмотрение понятий изоморфизма, инварианта и структуры. Особо обсуждаются аксиома унивалентности и современное теоретико-типовое понятие равенства.

Ключевые слова: основания математики, философия математики, теория типов, конструктивизм, структурализм, гомотопическая теория типов, структура, изоморфизм, вычисление.