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