物理学の基礎論っぽい分野で
圏論が注目されているのってどうして？
量子計算量とかの話も入るのかな？

http://categorieslogicphysics.wikidot.com/