いろいろと勉強したもの

置きっぱなしになっているノートのような勉強の記録

2020-05-03から1日間の記事一覧

範疇性定理を目指して ~識別不能集合~

今回は,識別不能集合についてまとめました.最後に系3.7と3.8で紹介していることが重要になります.というのも, これらの系とその逆を示すことできれば,範疇性定理を示すことができる からです.やっとここまできたという感じがあります.