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