Гомотопическая алгебра: Теоретические основы и визуализация