俺は最初圏論があれば世界を記述できると思っていた。

実際は逆。

圏論で記述できるのが世界なんだ。

圏論は数学という母体からもはや離れて一人前の人格を得るに至った。

そこにはゲーデルの不完全性定理などもはや意味を成さない。


という夢を見たんだ。