小ネタ達

"Simulations as Homotopies"とか"Bisimulation of enrichments"（arXiv:cs.LO/0602077 v1）とかを読んでみようとしたが、よくわからんわ。

でも、いくつか小ネタを、個別のエントリーにする。