Важность изоморфных функций

Короткий вопрос:Каково значение изоморфных функций в программировании (, а именно в функциональном программировании )?

Длинный вопрос:Я пытаюсь провести некоторые аналогии между функциональным программированием и концепциями в теории категорий, основываясь на жаргоне, который я слышу с -по -время.По сути, я пытаюсь «распаковать» этот жаргон во что-то конкретное, что я могу затем расширить. Тогда я смогу использовать жаргон с пониманием того, -что -какого -черта -я -говорю. Что всегда приятно.

Один из этих терминов, который я постоянно слышу, это Изоморфизм . Насколько я понимаю, речь идет о рассуждениях об эквивалентности между функциями или композициями функций. Мне было интересно, может ли кто-нибудь дать некоторое представление о некоторых общих шаблонах, где свойство изоморфизма пригодится (в функциональном программировании ), и о любых полученных -продуктах, таких как оптимизация компилятора из рассуждений об изоморфных функциях.