随伴と双対を区別せずに、F -| G とか A -| B と書くことにする（ストリート流）。F -| G のとき、 G = F* F = *G と書いて、 G = F* はFの右随伴 F = *G はGの左随伴 と呼ぶ。左右が逆になる用語法もあるが、四の五の言ってもラチがあかないので、とにかく…

グラフとしての関数（外延）、計算ルールとしての関数（内包） 計算ルール＝式やプログラム、ifやcase分岐があってもよい ε記号や s.t. such that があってもいい、例：平方根 関数の等しさは超越的 現実的、実効的な等しさは何か？ f(x) = x(x+1), x^2 + x,…

Multicategory の拡張として polycategory というものもある。 M. Szabo が [Sza75] で導入した。