ソフトウェア工学=圏論 なんじゃないのか?