drive.google.com 今回はZとRを圏とみなしたときの随伴についてまとめてみました。身近なものの間に随伴が現れたので面白いなと感じました。 結果としてはZからRへの包含関手が左右の随伴を持つことがわかりました。順序集合を圏とみなしたものの間の随伴は…

drive.google.com 今回は関数解析の事実を圏論の言葉にしてみました。たまたま関数解析の復習をしていたところ、圏同型が見えたので記事にしてみました。 内容はすごく簡単で中線定理が成立するノルム空間と内積空間を同一視するというものです。あまり関数…