しばらく触ってないとテキメンに忘れる。 Require ってどう使う？ Require Import/Exportって何？ Class定義構文、Class Foo : Bar のBarってどう使う？ Notationのスコープってどうやって使う？ スコープバインドは、Bind Scope hoge_scope with Hoge. みた…

http://arxiv.org/abs/1004.2982 具体的な集合の上の変換として表現されたモノイドの組み合わせ的な話。具体性があって面白いけど、印刷したのを捨てる。

Gordon Plotkin and John Power "Notions of Computation Determine Monads" を眺めたが、これは分かりにくい。なんでこんな定式化するのかの意図が読めない。なんか別な定式化があるはずだ。

次のような本がある。 Towards the Mathematics of Quantum Field Theory nCatCafe記事： https://golem.ph.utexas.edu/category/2011/06/towards_the_mathematics_of_qua.html これの原稿は一時インターネット上に公開されていた。Chapter 1 "A categorical…