metaclass | Знаете ли вы, что...

в руби fold называется inject?

Ну нет. Вот если бы этот кото-морфизм был мономорфизмом, тогда да.
Но такого ж в программировании не бывает.