Размер видео: 1280 X 720853 X 480640 X 360
Показать панель управления
Автовоспроизведение
Автоповтор
コンパクトならば有界完備 を圏で論じると抽象的にめちゃ強い性質縛れるように思える
デデキントの完備化(切断のやつ)の圏バージョンもあるのかしら
テンソル積が和になるの、maxplus代数っぽい
ここの内容と関わりがあるのか分かりませんが、距離を射と捉えられるなら、位相空間の極限を圏の極限と解釈できるのでしょうか。数学に疎いので稚拙な疑問かもしれませんが。
位相空間は分かりませんが、「距離空間におけるCauchy列の極限」は「豊穣圏における(余)極限」とみなせるという話があるようです
@@alg-dxそうなんですね。豊穣圏について詳しくないのですが、結構いろいろできるんですね。距離は一様に遠近を定義するものですが、一様空間みたいに条件を絞れば極限を考えられるのかもしれない？フィルターも対称モノイダル閉圏(?)になるんでしょうか。ご返信ありがとうございます。今後も動画投稿がんばってください！！
コンパクトならば有界完備 を圏で論じると抽象的にめちゃ強い性質縛れるように思える
デデキントの完備化(切断のやつ)の圏バージョンもあるのかしら
テンソル積が和になるの、maxplus代数っぽい
ここの内容と関わりがあるのか分かりませんが、距離を射と捉えられるなら、位相空間の極限を圏の極限と解釈できるのでしょうか。
数学に疎いので稚拙な疑問かもしれませんが。
位相空間は分かりませんが、「距離空間におけるCauchy列の極限」は「豊穣圏における(余)極限」とみなせるという話があるようです
@@alg-dxそうなんですね。豊穣圏について詳しくないのですが、結構いろいろできるんですね。
距離は一様に遠近を定義するものですが、一様空間みたいに条件を絞れば極限を考えられるのかもしれない？フィルターも対称モノイダル閉圏(?)になるんでしょうか。
ご返信ありがとうございます。今後も動画投稿がんばってください！！