よくわかんないけど圏論てちゃんと形式化できるの?
図式メインって・・・