эквивалентность

Теория категорий позволяет математике отказаться от равенств

Две монументальных работы убедили многих математиков отказаться от знака равенства. Их цель – реконструировать основы дисциплины при помощи более слабого взаимоотношения – «эквивалентности». И этот процесс не всегда идёт гладко. Знак равенства – краеугольный камень математики. Он, кажется, делает фундаментальное…
Читать дальше