プログラマーってだけじゃ、どのくらいのレベルの人かわからないよ。
今の日本では、プログラマー＝コーダーで、SEの書いた設計図を
コードに直す人の事だけど。

ただ、「30代のプログラマで圏論に興味をもつ人」が、日本のいろんな
レベルのプログラマ全体でどのくらいの比率でいるかというと、まあ
ほとんどいないだろうなとは思う。