開核作用子と閉包作用子の圏論的考察

　今回は開核作用子と閉包作用子を圏論の言葉にしてみました。

　開核作用子、閉包作用子がそれぞれ包含関手の随伴になっていることがわかりました。最近色々な随伴を学んでいるのですが、ここでも随伴が現れて本当に至るところに随伴は現れるんだなぁと思いました。

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