モナド (圏論)
集合の圏 Set 上の関手 T: Set → Set を
で定める。すなわち、TA は A の要素の有限長のリスト [a1, a2, ..., an]すべてからなる集合である。このとき、ηA: A → TA を a ↦ [a] として、μA: T A → TA をリストの結合で定めると、T は Set 上のモナドとなる。これを自由モノイドモナド、あるいはリストモナドと呼ぶ。