しりとりの圏がいろいろ盛り上がっている(?)さなか、特に先日入れたツッコミ以降、ひらがなの集合の圏としりとりの圏の対応を考えててふと「これモナドになるんじゃね?」と思い立ちました。 以下参考: しりとりの圏における全単射と同型(=同等) - た…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。