ずいぶん放置していたが、リアルのお仕事が結構忙しかったのである。しかし、9章は『本書の見せ場』と著者自ら書いているところなので、こちらも書かずにはおられない。9.1節は随伴の導入という位置づけらしく、次節の定義9.6(p.242)で正式な定義がなされる…