3圏はよくわかってないが、次はたぶん3圏だろう。LOCを局所順序圏（locally (pre)ordered categories）の圏とする。LOCはCatの部分圏、つうかCatの部分圏への忘却関手を持つ圏となる。C, D∈|LOC|のとき、1セルを関手F:C→D、2セルを自然変換α::F→G:C→Dとして2…

本編にて： モナド概念は非常に普遍的なので、モナドの実例はとんでもなくイッパイあります。 本編で使った例Countupは、monoidal stamping monadの一例。Outputもmonoidal stampingになる。A+A→Aをfoldingとして、X|→X+Aも似た例。A={-}のときは一点付加。c…