ZとRの間の随伴

drive.google.com

　今回はZとRを圏とみなしたときの随伴についてまとめてみました。身近なものの間に随伴が現れたので面白いなと感じました。

　結果としてはZからRへの包含関手が左右の随伴を持つことがわかりました。順序集合を圏とみなしたものの間の随伴は証明が楽ですね笑

　次回の月1圏論ゼミは11月10日の予定なのでお時間ある方は是非！