Типы эквивалентности в математике: визуализация понятий