m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 リントンの定理に関して、また妄想が湧いてしまった。いやー、妄想が捗りますわ。「セオリー」という言葉は使いにくいですが、代替が無いので使います（「「セオリー」は使わざるをえないな」参照） 。通常、「セオリーのモデル」といいますが、ここでは「セオリーの表現〈representation〉」と呼びます。その理由は： 「指標のモデル」と「セオリーの表現」と使い分けたい。 「表現」は、「群の線形表現」とか「環の表現」とかの表現と同じ使い方。 リントンの定理（「リントンの定理」、「リントンの定理： 概要、実例、注意事項」参照）は、次の2つの主張からなります。 モナド-セオリー対応： モナドの圏とセオリーの… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2025%2F01%2F25%2F152651" 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> Hatena Blog https://hatena.blog 2025-01-25 15:26:51 rich https://m-hiyama.hatenablog.com/entry/2025/01/25/152651 1.0 100%