モノイド関手（monoidal functor）といっても色々ある。まとめておく。CとDがモノイド圏で、モノイド積／モノイド単位は×とIで表す。関手Fと、自然変換φ::(F×F);×⇒×;Fと、Dの射j:I→F(I)の組(F, φ, j)がモノイド関手である定義を述べる。おおよそ、次のような…

体調が悪い。のだけど、メモ編に書きたいことがある。少し休んでから書こうかな、書けたらエライ＞俺

「V-豊饒圏をV上のモナドで拡張する」の件。「セリンガーの論文」で紹介しているhttp://www.mathstat.dal.ca/~selinger/papers/catasynch.pdfの20ページあたりに、T構成として書いてあるのだった。ただし、セリンガーの用語法はあまりよくないので、もっと一…

P. Eklund, M.A. Galan, J.Medina, M. Ojeda-Aciego, A. Valverde "Powersets of Terms and Composite Monads" ( http://www.cs.umu.se/research/reports/2004/007/part1.pdf) にあるモナドと分配法則の議論は、非ブレイド・モノイド圏（対称性がまったくな…