module over a monad in nLab ここによると、一般のbicat Kに対してmonad t上のmoduleをt \in K(a,a)のx \in K(a,b)またはK(b,a)への作用、すなわち自然変換(tx \to x)として定める。 K=Catで1をterminal catとした時、K(1,a)への作用のことをt-algebraとい…