drive.google.com 今回はコルモゴロフ空間(T0位相空間)の圏と位相空間の圏の随伴についてまとめました。最近風邪で体調を崩していたので気分転換がてら随伴で遊んでみました笑 私がそんなにしっかり位相空間論をしていなかったのかT0の定義すら知らなかった…

drive.google.com 私は普段Diffeologyを勉強してますが、少し面白い随伴関手を見つけたので記事にしました。 一般的に忘却関手が左随伴を持つことは多いのですが、右随伴を持つことが少ないです。ですがDiffeologyを勉強する中で右随伴を持つ忘却関手を得ら…

drive.google.com 今回は開核作用子と閉包作用子を圏論の言葉にしてみました。 開核作用子、閉包作用子がそれぞれ包含関手の随伴になっていることがわかりました。最近色々な随伴を学んでいるのですが、ここでも随伴が現れて本当に至るところに随伴は現れる…