「無限と連続」遠山啓著　岩波新書アンコール復刊　1952年
を読んだが、関数言語と妙にシンクロする。

第３章「もの」と｢働き」より
「…群論が現れるまで数学者の考える対象は数か図形に限ら
れていた。…
現代の数学でとくにいちじるしい対立をなしているのは
「もの」の概念と「働き」の概念である。もちろん、一つの
文章はすでに「何かのものが何かの働きをする」という形を
とっているのと同じく、数学のなかにもこの二つが対立して
いることは当然であろう。ガロアの輝かしい功績は、この
｢働き」をきわめて明瞭な姿で数学のなかに持ちこみ…」

オブジェクトとか高階関数の話と似てるような気しない？