15/06/11 01:06:20.81 pB1BlG5Q.net
しらんかった。後者はこれか。
URLﾘﾝｸ(dx.doi.org)
ぱっと見、まだmonadとは書かれていないが。
URLﾘﾝｸ(www.disi.unige.it)
には
My thanks to M. Hyland, A. Kock (and other participants to the 1988 Category
Theory Meeting in Sussex) for directing me towards the literature on monads relevant
to the subject.
とあるな。