圏論好きの一定割合（人数的には大多数かもな）はプログラム関係なんだから、
圏論好きが集まってプログラミングへの応用が話題に出るのはごくごく自然。
圏論好きが集まったら圏論の基礎しか語らないなんて思っているやつがお馬鹿なだけ。