エントリーの編集

エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
一昨日の記事「圏論的モダリティ:圏上の非自然な構造達」の「僕のモダリティ経験」の節で: 試しに、非... 一昨日の記事「圏論的モダリティ:圏上の非自然な構造達」の「僕のモダリティ経験」の節で: 試しに、非負実数係数のテンソルの圏に余可換コモノイド・モダリティを入れてみると、そのモダリティと整合する部分圏として部分性と確率的非決定性の両方がうまく定義できるようです。これが分かったとき、僕にとってはA-ha momentでした。 「非全域関手と非自然変換」にて: 特に役に立つのは、2つの非自然変換から構成される余可換コモノイド・モダリティです。余可換コモノイド・モダリティの事例はそのうち述べるつもりです。 予告に従い、余可換コモノイド・モダリティの事例について述べます。タイトルに「事例」でなく「事件」と付けているのは、これから述べることが僕には思いがけないことだったからです。 内容: 余可換コモノイド・モダリティが定義する部分圏、不思議だ 余可換コモノイド・モダリティ 集合圏の余可換コモノイド・モ