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