m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 反ラックス・モノイド余モナドの計算（ストライプ図絵算）をゴニョゴニョしているときに気付いた等式があります。とりあえずその等式を、余モナドのパンツマジック等式〈pants magic equation〉と呼んでおきます。ストライプ図を眺めると、下着〈パンツ〉の上にズボン〈パンツ〉を履いていたのに下着だけになってしまうマジックに見えるからです。ある観点から見ると、パンツマジック等式は自明な等式でした -- 「なーんだ」という気分になりました。なので、この記事はボツにしようかとも思ったのですが、ゴニョゴニョの過程がまったく無意味というわけでもなさそうです。余クライスリ圏 の計算をもとの圏 で行うとき… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2021%2F10%2F15%2F161837" title="余モナドにおけるパンツマジックとシングレット - 檜山正幸のキマイラ飼育記 (はてなBlog)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://www.chimaira.org/img5/pantsmagic-lhs.png Hatena Blog https://hatena.blog 2021-10-15 16:18:37 rich https://m-hiyama.hatenablog.com/entry/2021/10/15/161837 1.0 100%