圏論は1950年代にはもう体系化されてたんだろ？なら圏論が先に決まってる
モナドとラムダ計算に関するものはMoggiによる1980年後半から1990年代にかけての仕事だし