В общем да, терминологию хотелось бы как-то привести между разными языками
ну, мне не проблема, когда в одном языке fold, в другом reduce
а вот когда некоторая абстракция в явном виде выделена только в единичных языках, с которыми ты не работаешь — то результат