はてなのISBN記法は便利だが、ISBN:***:title とか書くと、タイトルに関するテキスト情報がなくなる。検索にかからなくて不便！ 『タイトルをテキストで書く』（ISBN:***） のように書くのが良い。

圏Cの「生成系」とは、G⊆|C|であって、 Gは（小さい）集合である。 f, g:a→b で、f≠g ならば、x∈Gとk:x→aが存在して k;f ≠ k;g この状況で、「GはCを生成する」とか「GはCの生成系」とか言うのは言語道断。「GはCを識別（distinguish）する」とか「GはCの識…