Глядя на документацию Haskell, подъем, по-видимому, в основном представляет собой обобщение fmap
, позволяющее отображать функции с более чем одним аргументом.
Wikipedia статья о подъеме дает другое представление, однако, определяя "подъем" в терминах морфизма в категории и как оно относится к другие объекты и морфизмы в категории (здесь я не буду приводить подробностей). Я полагаю, что это может иметь отношение к ситуации Хаскелла, если мы рассматриваем Cat (категорию категорий, что делает наши функторы морфизмов), но я не вижу, как это категориальное понятие лифта относится к такому в Haskell на основе связанной статьи, если это вообще происходит.
Если две концепции не связаны друг с другом и имеют простое имя, это лифты (теория категорий), используемые в Haskell вообще?