全然知らないことが山盛り載っていた
1990年の "Liniear logic, domain theory and semi-functors"（http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-34.pdf）をざっと眺めた。おもしろーい。
それほど難しくはないのだが、僕がまったく知らないことが色々と書いてある。ジラール圏（Girard category）、カロウビ展開圏（Karoubi envelope）、弱デカルト閉圏（weak CCC）、非外延的ラムダ計算（non-extensional）、質的領域（qualitative domain）とか。
半関手（semi-functor）、半コモナド（semi-comonad）、半クライスリ圏（semi-Kleisli category）などのsemi-notionsも全然聞いたことなかった。of-course演算 ! が半関手なんだそうな。フーン。
線形圏の定義があって、Relが線形圏の例として挙げられている。ベキがexponent functor Cop×C→C として定義されているのも面白い。RelがFdHilbと似てるとは、ボブ・クックも言っていたが、どちらも線形圏なわけだ。フーン。
