m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 論理 圏一般論 Cは一般的なモノイド圏、X = (X, δ, ε)がC内の余モノイド（余モノイド構造、余モノイド対象）のとき、Xのスタンピング関手（域側に掛け算する）から余モナドが定義できる。 上記の余モナドの余クライスリ圏を作れる。これは一般的な構成。 余モナドがテンソル強度（余テンソル強度）を持つとき、余クライスリ圏がプレモノイド圏になる。特に可換余モナドなら余クライスリ圏はモノイド圏となる。 Cがデカルト圏なら、すべての対象が余モノイドになる。したがって、余クライスリ圏が作れる。 それだけではなくて、スタンピング余モナドが可換余モナドとなるので、余クライスリ圏はモノイド圏となる。 さらに、そのモノイド積… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20180214%2F1518575721" title="自然演繹のための構成法 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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 2018-02-14 11:35:21 rich https://m-hiyama-memo.hatenablog.jp/entry/20180214/1518575721 1.0 100%