|
|
|
|
|
||
|
||
すべて | 関数型言語 | 音響プログラミング | WEBニュース | 研究ネタ | ギーク | システム開発
2024-11-21
等式の二種類の使用法： 選別条件と同一視宣言
雑記／備忘
ひとつ前の記事「圏論のエンドとコエンドは双対なんだよ」において、“連立方程式系の解空間”と“関係族の同値閉包による商集合”が双対的だという話をしました。この双対性はちょっと不思議な感じがします。最終的には、写像（集合圏の射）の並行ペア（両端が…
2024-11-20
圏論のエンドとコエンドは双対なんだよ
雑記／備忘
エンドとコエンドは、その名前から双対なんだろうとは誰でも思うでしょう。しかし、定義の仕方によっては双対性が見えにくいこともあります。この記事では、エンドとコエンドの双対性が出来るだけ見えやすくなるような定義と記法を提示します。$`\newcommand…
等式の二種類の使用法： 選別条件と同一視宣言
圏論のエンドとコエンドは双対なんだよ
読者になる
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。