本文で話題にしているスピヴァック理論だけど、関係データモデルやERモデルをちゃんと吸収するには、アンビエント圏を関係圏にする必要があるようだ。で、関係圏なのだが、コンパクト閉圏としては自己双対で、対象の双対は自分自身となる。しかし、射の双対…

クリーベッジ（cleavage : 裂くこと、切開、分割、裂け目、割れ目、亀裂、溝）はセクションと似た意味だ。セクションは断面だから、切開面でいいかな。誰か（今はわからんダレカ）が、クリーベッジは語感がふさわしくない、と言っていた。choice of * がいい…