2-圏とか2-関手とか「2-」と書いてきたが、単に「2」で済ます。それと、「2」と「bi」の区別ももうやめる。必要なら、strict 2 と weak 2 を使う。

イライラしているときにCiteSeerで探すと、CiteSeerが重くて余計にイライラする。で、まー、特に理由も脈絡もないけど、F. Marmolejo, R.D. Rosebrugh, R.J. Woodの"A Basic Distributive Law"つうのを読んでみよう。→http://citeseer.ist.psu.edu/315879.ht…