トポス - mrsekut-p

トポス

topos

トポスにおいて、モノ射かつエピ射な射のことを同型射という

定義

圏$ \mathscr{A}がCCCであり、部分対象分類子をもつとき、これをトポスと呼ぶ

「集合圏」を定義してから、その対象である「集合」を定義する

http://ziphil.com/other/mathematics/12.html

参考

https://ja.wikipedia.org/wiki/トポス_(数学)

https://eprints.lib.hokudai.ac.jp/dspace/bitstream/2115/60484/1/Yohei_Fukayama.pdf

https://staff.fnwi.uva.nl/t.uemura/files/topos-and-hol.pdf

http://www.math.mi.i.nagoya-u.ac.jp/~kihara/workshop/wakate/aratake.pdf

http://cympfh.cc/aiura/topos-01.html

http://cympfh.cc/aiura/topos-02-presheaf.html

http://cympfh.cc/aiura/topos-03-pullback.html

https://bartoszmilewski.com/2017/07/22/topoi/