AIが圏論を書くとどんなものになるだろうか