圏論が全てのプログラミング言語の裏で動いてるとか適当なこと書くなよ